"Matching Constraints for the Lambda Calculus of Objects."

Viviana Bono, Michele Bugliesi (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics