Philosophical logic and artificial intelligence / ed. by Richmond H. Thomason. (Kluwer Academic Publishers, 1989)