Atsushi Togashi Shoichi Noguchi A Program Transformation from Equational Programs into Logic Programs. 85-103 1987 4 J. Log. Program. 2 db/journals/jlp/jlp4.html#TogashiN87