"A Program Transformation from Equational Programs into Logic Programs."

Atsushi Togashi, Shoichi Noguchi (1987)
a service of Schloss Dagstuhl - Leibniz Center for Informatics