G. Flouris, D. Plexousakis, und G. Antoniou. In Proc. of the 10th International Workshop on Non-Monotonic Reasoning 2004 (NMR-04), Seite 171-179. Westin Whistler Resort and Spa, Whistler BC, Canada, (Juni 2004)
V. Haarslev, R. Möller, und A. Turhan. IJCAR '01: Proceedings of the First International Joint Conference on Automated Reasoning, Seite 61--75. London, UK, Springer-Verlag, (2001)