Schmitt, P. H. "Mathematical Logic and Artificial Intelligence" LILOG-Report 6 January 1987

(1987)

Languages mentioned