
## References

Anger F  Mitra D
UK
Rodriguez  R
Temporal Constraint Networks in Nonlinear Time  In Workshop Notes of the Spatial and Temporal Reasoning at ECAI98 Brighton Rodriguez  R
Satisfiability in Nonlinear Time  Algorithms Anger F  Mitra D
and Complexity  In Proceedings of the Florida Artificial Intelligence Research Society conference Orlando  USA
Bennett B
San Francisco  CA  USA
Spatial reasoning with propositional logic  In Doyle  J   Sandewall  E
Torasso P Eds Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR-94) pp Morgan Kaufmann Carving Up Space  Existential Axioms for a Formal Theory of Spatial Bennett B
Regions  In Proceedings of the IJCAI95 Workshop on Spatial and Temporal Reasoning Montreal Borgo S Guarino N
Masolo C
A Pointless Theory of Space Based On Strong Connection and Congruence  In Aiello  L  C      Doyle  J   Eds    Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR-96)  Morgan Kaufmann  San Francisco  CA  USA
Borgo S Guarino N
Masolo C
An Ontological Theory of Physical Objects In Ironi  L   Ed    Proceedings of Eleventh International Workshop on Qualitative Reasoning (QR 1997) pp Cortona Italy A Calculus of Individuals Based on  Connection" Clarke B L
Notre Dame Journal of Formal Logic  22 The complexity of theorem proving procedures  In Proceedings of the Cook S A
3rd Symposium on Theory of Computation pp Morphological Spatial Reasoning  Preliminary Report  Tech  rep Cristani M
LADSEB CNR Padova  Italy Cui Z
Using interval logic for order assembly In Proceedings of the Second International Conference on Intelligent Systems in Molecular Biology pp AAAI
Press Twenty one large tractable subclasses of Allen s Drakengren   T
Jonsson P
algebra  Artificial Intelligence  93 Egenhofer M J
Reasoning about binary topological relations  In Gunther  O
Schek H J Eds Advances in Spatial Databases-Second Symposium SSD '91 No in Lecture Notes in Computer Science  pp Springer Verlag  New or k N
U SA