| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Logic Programming and Nonmonotonic Reasoning: Third International Conference, Lpnmr '95 Lexington, Ky, Usa, June 26-28, 1995: Proceedings | 978-O-387-59487-3 (O-387-59487-6) | 1995 | Anil Nerode · V. W. Marek · Mirosaw Truszczynski |