Sergey Berezin, Clark Barrett, Igor Shikanian, Marsha Chechik, Arie Gurfinkel, David L. Dill. A Practical Approach to Partial Functions in CVC Lite. Electronic Notes in Theoretical Computer Science, 125(3):13-23, 2005. [doi]
@article{BerezinBSCGD05,
title = {A Practical Approach to Partial Functions in CVC Lite},
author = {Sergey Berezin and Clark Barrett and Igor Shikanian and Marsha Chechik and Arie Gurfinkel and David L. Dill},
year = {2005},
doi = {10.1016/j.entcs.2004.06.064},
url = {http://dx.doi.org/10.1016/j.entcs.2004.06.064},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/BerezinBSCGD05},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {125},
number = {3},
pages = {13-23},
}