1. Explaining ACL subsumption;Borgida,2000
2. Explaining ALC subsumption;Borgida,1999
3. Asking queries about frames;Borgida,1996
4. The Boyer-Moore theorem prover and its interactive enhancements;Boyer;Computers Math. Appl.,1995
5. Why and where: a characterization of data provenance;Buneman,2001