Christoph Dornheim

Bibliography

Dornheim, Christoph. 1998. “Undecidability of Plane Polynomial Mereotopology.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 342–353. San Francisco, California: Morgan Kaufmann Publishers.