Stefan Schulz, Udo Hahn. Parts, Locations, and Holes - Formal Reasoning about Anatomical Structures. In Silvana Quaglini, Pedro Barahona, Steen Andreassen, editors, Artificial Intelligence Medicine, 8th Conference on AI in Medicine in Europe, AIME 2001, Cascais, Portugal, July 1-4, 2001, Proceedings. Volume 2101 of Lecture Notes in Computer Science, pages 293-303, Springer, 2001. [doi]
Abstract is missing.