"Purely Functional Implementation of a Logic."

F. Keith Hanna, Neil Daeche (1986)
a service of Schloss Dagstuhl - Leibniz Center for Informatics