U.: Modular proof systems for partial functions with Evans equality (2006)

by H Ganzinger, V Sofronie-Stokkermans, Waldmann
Venue:Information and Computation