A Rule-Based Framework for Building Superposition-Based Decision Procedures.

Published in: WRLA (2012)

Keyphrases