Proof synthesis and reflection for linear arithmetic (0)

by A Chaieb, T Nipkow
Venue:Journal of Automated Reasoning