D.: A practical approach to partial functions (2005)

by S Berezin, C Barrett, I Shikanian, M Chechik, A Gurfinkel, Dill
Venue:in CVC Lite. In: Selected Papers from the Workshop on Disproving and the Second International Workshop on Pragmatics of Decision Procedures (PDPAR 04), Electronic Notes in Theoretical Computer Science