"Improving Control of Logic Programs by Using Functional Logic Languages."

Michael Hanus (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics