TY - CONF T1 - An Algebra of Logic Programs T2 - ICLP/SLP Y1 - 1988 A1 - Paolo Mancarella A1 - Dino Pedreschi JF - ICLP/SLP ER -