Complex sentence: Guarded Horn clause languages: are they deductive and Logical? in Artificial Intelligence at MIT, Vol.2.
Split into simpler sentences: Guarded Horn clause languages: are they deductive and Logical? In "Artificial Intelligence at MIT", Vol.2.