How to generalize logic programming to arbitrary set of clauses. Prešić, Slaviša B. (1997) Publications de l'Institut Mathématique. Nouvelle Série