Larry Wos Robert Veroff Logical basis for the automation of reasoning: Case studies. 1-40 1994 books/ox/LAI2Hb94 Handbook of Logic in Artificial Intelligence and Logic Programming (2) db/books/collections/LAI2Handbook94.html#WosV94