Schmitt, P. H. "Mathematical Logic and Artificial Intelligence" LILOG-Report 6 January 1987
(1987)
Languages mentioned
LLilog
{1986} KR Lanugage