1. Borgida, A., Franconi, E., Horrocks, I.: Explaining ACL Subsumption. In: Proc. of the 14th European Conf. on Artificial Intelligence (ECAI 2000), pp. 209–213. IOS Press, Amsterdam (2000)
2. Borgida, A., Franconi, E., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F.: Explaining ALC Subsumption. In: Proc. of the International Workshop on Description Logics (DL 1999), Linköping, Sweden, July 1999, pp. 33–36 (1999)
3. Borgida, A., McGuinness, D.L.: Asking Queries about Frames. In: Proceedings of Fifth International Conference on the Principles of Knowledge Representation and Reasiong, Cambridge, Massacusetts, November 1996, Morgan Kaufmann, San Fransico (1996)
4. Boyer, R., Kaufmann, M., Moore, J.: The Boyer-Moore Theorem Prover and Its Interactive Enhancements. Computers and Mathematics with Applications 29(2), 27–62 (1995)
5. Buneman, P., Khanna, S., Tan, W.-C.: Why and Where: A Characterization of Data Provenance. In: Proceedings of 8th International Conference on Database Theory, January 2001, pp. 316–330 (2001)