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