On the Difference between Bridge Rules and Lifting Axioms

Paolo Bouquet, Luciano Serafini. On the Difference between Bridge Rules and Lifting Axioms. In Patrick Blackburn, Chiara Ghidini, Roy M. Turner, Fausto Giunchiglia, editors, Modeling and Using Context, 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings. Volume 2680 of Lecture Notes in Computer Science, pages 80-93, Springer, 2003. [doi]

Abstract

Abstract is missing.