Decision procedures for region logic (2012)

by S Rosenberg, A Banerjee, D A Naumann
Venue:In VMCAI