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
How to treat decision problems by different programming methodologies G. Cioni, A. Miola (1988) Banach Center Publications