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