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