Baleva, V. (2003) “A SEMANTICS OF LOGIC PROGRAMS WITH PARAMETERS”, Ann. Sofia Univ. Fac. Math. and Inf, 95, pp. 15–39. Available at: https://annual.uni-sofia.bg/index.php/fmi/article/view/173 (Accessed: 25 November 2024).