"A Semantics for Program Analysis in Narrowing-Based Functional Logic ..."

Michael Hanus, Salvador Lucas (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics