Baleva, V. 2003. A SEMANTICS OF LOGIC PROGRAMS WITH PARAMETERS. Ann. Sofia Univ. Fac. Math. and Inf. 95, (Dec. 2003), 15–39.