| title | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|
| Automated Reasoning: 33 Basic Research Problems | 978-0-13-054552-7 | 1987 | |
| Automated Reasoning: Introduction and Applications | 978-0-13-054446-9 | 1984 | Ross Overbeek · Ewing Lusk · Jim Boyle |
| Automated reasoning: Introduction and applications | 978-0-13-054453-7 | 1984 | |
| Automated Reasoning: Introduction and Applications/Book & Disk | 978-0-07-911251-4 | 1992 | |
| The Automation of Reasoning: An Experimenter's Notebook with Otter Tutorial | 978-0-12-763420-3 | 1996 | |
L. W. · Larry Wake · Larry Weiss · Larry Wigge · Larry Wise · Laura Weeks · Laura Weiss · Laura Wiess · Laura Wise · Laure Wyss · Laurie Weeks · Laurie Weiss · Lori Wick
Academic Press · McGraw-Hill · Prentice Hall