Interoperability of AI Languages. - Giuseppe Attardi; Mauro Gaspari; F. Saracco (ECAI, 1990)