1. Cadoli M, Palopoli L, Schaerf A, Vasile D. NP-SPEC: An executable specification language for solving all problems in NP. Informal Proceedings of the Eigth International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR’98), 1998.
2. Cadoli M, Palopoli L, Schaerf A, Vasile D. NP-SPEC: An executable specification language for solving all problems in NP. Proceedings of the First International Workshop on Practical Aspects of Declarative Languages (PADL’99), number 1551 in Lecture Notes in Artificial Intelligence. Berlin: Springer, 1999. p. 16–30.
3. Eiter T, Leone N, Mateis C, Pfeifer G, Scarcello F. The KR system dlv: progress report, comparisons and benchmarks. Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR’98), 1998. p. 406–17.
4. Logic programs with stable model semantics as a constraint programming paradigm;Niemelä;Annals of Mathematics and Artificial Intelligence,1999
5. Automatic configuring constraint satisfaction programs: A case study;Minton;Constraints,1996