Deciding Local Theory Extensions via E-matching.

Kshitij Bansal, Andrew Reynolds, Tim King, Clark W. Barrett, Thomas Wies

Browse the full CAV paper archive.