Proof search and proof check for equational and inductive theorems (0)

by E Deplagne, C Kirchner, H Kirchner, Q H Nguyen
Venue:In Baader [10