Citation: J. Bernauer et D. Schoop, Formal classification of medical concept descriptions: Graph-oriented operators, METH INF M, 37(4-5), 1998, pp. 510-517
Citation: I. Pratt et D. Schoop, A complete axiom system for polygonal mereotopology of the real plane (A calculus for mereotopological reasoning), J PHILOS LO, 27(6), 1998, pp. 621-658