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