doi dblp A Declarative Formalization of Knowledge Translation Sasa Buvac | Richard Fikes CIKM '95, Proceedings of the 1995 International Conference on Information and Knowledge Management, November 28 - December 2, 1995, Baltimore, Maryland, USA