1. Arias, J., Carro, M., Salazar, E., Marple, K., Gupta, G.: Constraint answer set programming without grounding. Theory Pract. Logic Program. 18(3–4), 337–354 (2018). https://doi.org/10.1017/S1471068418000285
2. Bueno, F., Carro, M., Hermenegildo, M.V., Lopez-Garcia, P., Morales, J. (eds.) The Ciao System. Reference Manual (v1.22). Techncial report, April 2023. https://ciao-lang.org
3. Bueno, F., et al.: On the role of semantic approximations in validation and diagnosis of constraint logic programs. In: Proceedings of the 3rd International WS on Automated Debugging-AADEBUG, pp. 155–170. U. Linköping Press, May 1997
4. Lecture Notes in Computer Science;F Bueno,2004
5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);D Cabeza,2000