M. Gertz, U. Lipeck, и L. Laube. Proceedings of the Sixth International Workshop on Principles of Diagnosis (DX`95), стр. 65-72. Goslar, Germany, (1995)
I. Niemelä, и P. Simons. глава Extending the Smodels system with cardinality and weight constraints, Kluwer Academic Publishers, Norwell, MA, USA, (2001)
M. Gertz, и U. Lipeck. Proceedings of the IFIP TC11 Working Group 11.5, First Working Conference on Integrity and Internal Control in Information Systems: Increasing the Confidence in Information Systems, стр. 89--111. London, UK, UK, Chapman & Hall, Ltd., (1997)
S. Schlobach, и R. Cornet. Proceedings of the 18th International Joint Conference on Artificial Intelligence, стр. 355--360. San Francisco, CA, USA, Morgan Kaufmann Publishers Inc., (2003)
A. Felfernig, M. Mairitsch, M. Mandl, M. Schubert, и E. Teppan. Proceedings of the 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: Next-Generation Applied Intelligence, стр. 162--171. Berlin, Heidelberg, Springer-Verlag, (2009)
A. Finkelstein. Proceedings of the 11th International Conference on Database and Expert Systems Applications, стр. 1-5. London, UK, Springer-Verlag, (2000)