M. Gertz, U. Lipeck, and L. Laube. Proceedings of the Sixth International Workshop on Principles of Diagnosis (DX`95), page 65-72. Goslar, Germany, (1995)
I. Niemelä, and P. Simons. chapter Extending the Smodels system with cardinality and weight constraints, Kluwer Academic Publishers, Norwell, MA, USA, (2001)
M. Gertz, and 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, page 89--111. London, UK, UK, Chapman & Hall, Ltd., (1997)
S. Schlobach, and R. Cornet. Proceedings of the 18th International Joint Conference on Artificial Intelligence, page 355--360. San Francisco, CA, USA, Morgan Kaufmann Publishers Inc., (2003)
A. Felfernig, M. Mairitsch, M. Mandl, M. Schubert, and E. Teppan. Proceedings of the 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: Next-Generation Applied Intelligence, page 162--171. Berlin, Heidelberg, Springer-Verlag, (2009)
A. Finkelstein. Proceedings of the 11th International Conference on Database and Expert Systems Applications, page 1-5. London, UK, Springer-Verlag, (2000)