Keyword:equational theorem proving

Papers
E 2.4 User Manual Stephan Schulz EasyChair Preprint no. 2272
E 2.0 User Manual Stephan Schulz EasyChair Preprint no. 8