E. Tyugu

title	ISBN-13 (ISBN-10)	year of publica- tion	other author(s)
Machine Intelligence 12: Towards an Automated Logic of Human Thought: Towards an Automated Logic of Human Thought No.12	978-O-19-853823-3 (O-19-853823-5)	1991	J. E. Hayes · D. Michie