1. F. Baader, D. Calvanese, D. McGuinness, P. Patel-Schneider, D. Nardi et al., The Description Logic Handbook: Theory, Implementation and Applications (Cambridge University Press, Cambridge, 2003)
2. L. Bachmair (ed.), Rewriting Techniques and Applications. 11th International Conference, RTA 2000, Proceedings, Norwich, UK, 10–12 July 2000. Lecture notes in computer science, vol. 1833 (Springer, Berlin, 2000)
3. C.E. Bond, Uncertainty in structural interpretation: lessons to be learnt. J. Struct. Geol. 74, 185–200 (2015)
4. C.E. Bond, A. Gibbs, Z. Shipton, S. Jones, What do you think this is? “Conceptual uncertainty” in geoscience interpretation. GSA Today 17(11), 4–10, 12 (2007)
5. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, C.L. Talcott (eds.), All About Maude—A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. Lecture notes in computer science, vol. 4350 (Springer, Berlin, 2007)