Proof Synthesis and Reflection for Linear Arithmetic (0)

by A Chaieb, T Nipkow
Venue:J. of Aut. Reasoning