Decision Procedures for Region Logic.

Stan Rosenberg, Anindya Banerjee, David A. Naumann

Browse the full VMCAI paper archive.