Verifying and reflecting quantifier elimination for Presburger arithmetic (2005)

by Amine Chaieb , Tobias Nipkow
Venue:LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING
Citations:14 - 7 self