Harald Ganzinger, Viorica Sofronie-Stokkermans, Uwe Waldmann. Modular proof systems for partial functions with Evans equality. Inf. Comput., 204(10):1453-1492, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.