Cooperating Logic Theories. - Roberto Barbuti; C. D'Ascanio; Franco Turini (AIMSA, 1986)