Modular proof systems for partial functions with Evans equality (0)

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