"Semantics and Evaluation of Rules over Complex Objects."

Andreas Heuer, Peter Sander (1989)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics