Towards an Abstraction-Refinement Framework for Reasoning with Large Theories.

Julio Csar Lpez-Hernndez, Konstantin Korovin

Browse the full LPAR paper archive.