"A New Scheme for Unification in WAM."

André Mariën, Bart Demoen (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics