WRITTEN BY ROBIN KLEIN ILLUSTRATED BY CORAL TULLOCH1992 年出版31 页ISBN：1862910200
SEGUNDA EDICION DENIS LYNN DALY HEYCK MARíA UICTORIA GONZáLEZ PAGANI1997 年出版392 页ISBN：
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING Volume 2 Deduction Methodologies
DOV M.GABBAY1994 年出版511 页ISBN：
a project by Michele Wallace; edited by Gina Dent1998 年出版374 页ISBN：1565844599
edited by anita feldman and introduction by sue prichard2008 年出版160 页ISBN：1848220529
