| title | | ISBN-13 | year of publica- tion | other author(s) |
| Captives, The | | 978-0-09-456940-9 | 1970 |
| Computational Logic in Multi-Agent Systems: 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers: 5405 | | 978-3-642-02733-8 | 2009 | Fariba Sadri · Michael Tielscher |
| Cries from the Darkness | | 978-0-944276-48-8 | 1989 |
| Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings | | 978-3-540-58976-1 | 1995 | Richard Owens |
| Foundations and Applications of Multi-Agent Systems: UKMAS Workshop 1996-2000, Selected Papers | | 978-3-540-43962-2 | 2002 | Mark d'Inverno · Michael Luck · Christ Preist |
| Gendering American Politics: Perspectives from the Literature | | 978-0-321-09086-7 | 2005 | Karen O'Connor · Sarah Brewer |
| Handbook of Temporal Reasoning in Artificial Intelligence, Volume 1 | | 978-0-444-51493-6 | 2005 | Dov Gabbay · Lluis Vila |
| Practical Formal Methods Using Temporal Logic | | 978-0-470-02788-2 | 2005 |
| Visions of Mughal India: An Anthology of European Travel Writing | | 978-1-84511-354-4 | 2007 | William Dalrymple |
| Voyager, The | | 978-0-09-457370-3 | 1972 |