Translation of Logic Programs into Functional Fixpoint Equations.

Georges Gardarin Irène Guessarian Christophe de Maindreville Translation of Logic Programs into Functional Fixpoint Equations. 253-274 1989 63 Theor. Comput. Sci. 3 db/journals/tcs/tcs63.html#GardarinGM89