International Symposium on Practical Aspects of Declarative Languages (PADL 2001),
I. V. Ramakrishnan, Ed. Lecture Notes in Computer Science, vol. 1990. Springer, 169–
183.

SIMONS, P., NIEMELĂ, I., AND SOININEN, T. 2002. Extending and implementing the stable model semantics. Artificial Intelligence 138 , 1-2, 181-234.

SOININEN, T., NIEMELĂ, I., TIIHONEN, J., AND SULONEN, R. 2001. Representing configuration knowledge with weight constraint rules. In Proceedings of the 1st International Workshop on Answer Set Programming: To wards Efficient and Scalable Knowledge (ASP
2001), A. Provetti and T. C. Son, Eds.

TSEITIN, G. S. 1969. On the complexity of derivation in propositional calculus. In Studies in Constructive Mathematics and Mathematical Logic, Part II, A. Slisenko, Ed.

Seminars in Mathematics, V.A. Steklov Mathematical Institute, Leningrad, vol. 8. Consultants Bureau, 115–125. English translation appears in Automation of Reasoning 2:
Classical Papers on Computational Logic 1967–1970 J. Siekmann and G. Wrightson, Eds. Springer (1983), 466–483.