| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings | 978-3-540-22345-0 (3-540-22345-2) | 2008 | David Basin |
| Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings | 978-3-540-56393-8 (3-540-56393-8) | 2008 | Jean-Luc Remy |
| Rewriting Techniques and Applications: 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999 Proceedings | 978-3-540-66201-3 (3-540-66201-4) | 2009 | Paliath Narendran |