Reasoning with Triggers.

Claire Dross, Sylvain Conchon, Johannes Kanig, Andrei Paskevich

Browse the full CADE paper archive.