K. Aberer, and Z. Despotivic. Proceedings of the Ninth International Conference on Information
and Knowledge Management (CIKM 2001), Atlanta, Georgia, (2001)\\ http://lsirpeople.epfl.ch/aberer/GMD-PAPERS/AP2PC.pdf.
G. Antoniou, D. Billington, G. Governatori, and M. Maher. ACM Transactions on Computational Logic, 2 (2):
255-287(2001)\\ \http://delivery.acm.org/10.1145/380000/371517/p255-antoniou.pdf.
O. Arieli, and A. Avron. Proc. of the 9th IEEE Annual Symp. on Logic in Computer Science, page 468--476. IEEE Press, (1994)preliminary version of arieli95reasoning.
N. Bassiliades, G. Antoniou, and I. Vlahavas. International Journal on Semantic Web and Information Systems, 2 (1):
1--41(2006)\\ http://iskp.csd.auth.gr/publications/ijswis05-dr-device.pdf.