Generic proof synthesis for Presburger arithmetic (2003)

by Amine Chaieb , Tobias Nipkow
Citations:4 - 3 self