TY - CONF T1 - Algebraic Properties of a Class of Logic Programs T2 - NACLP Y1 - 1990 A1 - Paolo Mancarella A1 - Dino Pedreschi A1 - Marina Rondinelli A1 - Marco Tagliatti JF - NACLP ER -