O. Arieli, M. Denecker, B. Nuffelen, и M. Bruynooghe. Paraconsistent Computational Logic, том 95 из Datalogiske Skrifter, стр. 51-65. Roskilde University, Roskilde, Denmark, (2002)
S. Kuznetsov, S. Obiedkov, и C. Roth. Proceedings of the 15th International Conference on Conceptual Structures (ICCS 2007), том 4604 из Lecture Notes in Artificial Intelligence, стр. 241-254. Berlin, Heidelberg, Springer-Verlag, (июля 2007)