| title | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|
| Advances in Data Base Theory: Volume 2 | 978-0-306-41636-1 | 1984 | Hervé Gallaire · Jean Marie Nicolas |
| Foundations of Disjunctive Logic Programming | 978-0-262-12165-1 | 1992 | Jorge Lobo · Arcot Rajasekar |
| Logic and Data Bases | 978-0-306-40060-5 | 1978 | Herve Gallaire |
| Logic-Based Artificial Intelligence | 978-0-7923-7224-0 | 2000 | |
Da Capo Press · Springer · The MIT Press