Parts, Locations, and Holes - Formal Reasoning about Anatomical Structures.

Stefan Schulz, Udo Hahn

Browse the full AIME paper archive.