| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Automated Theorem-proving in Non-classical Logics | 978-O-273-O8781-6 (O-273-O8781-9) | 1988 | Paul B. Thistlewaite · Michael A. McRobbie |
K&M · K. Meyer · R.K. · R. M. · R. Meyer · Robert K. · Robert M. · Robert Meyer