Ronald W. Ferguson, Joseph L. Bokor, Rudolph L. Mappus IV, Adam Feldman: Maintaining Spatial Relations in an Incremental Diagrammatic Reasoner. COSIT 2003: 136-150