"From Functional Specifications to Logic Programms."

Michael Gelfond, Alfredo Gabaldon (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics