1993. Horn clause programs on abstract structures with parameters. Annual of Sofia University St. Kliment Ohridski. Faculty of Mathematics and Informatics. 84, (Dec. 1993), 53–62.