Modular Proof Systems for Partial Functions with Weak Equality.

Harald Ganzinger, Viorica Sofronie-Stokkermans, Uwe Waldmann

Browse the full CADE paper archive.