A relation-algebraic approach to the Region Connection Calculus (0)

by I Düntsch, H Wang, S McCloskey
Venue:Theoretical Computer Science