Keyword:gaussian variable elimination rule

Papers
Making Theory Reasoning Simpler Giles Reger, Johannes Schoisswohl and Andrei Voronkov EasyChair Preprint no. 5000