Soskov, I. Horn Clause Programs on Abstract Structures With Parameters. Ann. Sofia Univ. Fac. Math. and Inf. 1993, 84, 53-62.