"A Declarative Formalization of Knowledge Translation."

Sasa Buvac, Richard Fikes (1995)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics