Home
DCC eCatalog
W.__Nutt
On the translation of qualitative spatial reasoning problems into modal logics
