Proof synthesis and reflection for linear arithmetic (2006)

by Amine Chaieb , Tobias Nipkow
Citations:6 - 5 self