Cliff B. Jones, Matthew J. Lovert. Semantic Models for a Logic of Partial Functions. Int. J. Software and Informatics, 5(1-2):55-76, 2011. [doi]
@article{JonesL11-0,
title = {Semantic Models for a Logic of Partial Functions},
author = {Cliff B. Jones and Matthew J. Lovert},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view_abstract.aspx?file_no=i76},
researchr = {https://researchr.org/publication/JonesL11-0},
cites = {0},
citedby = {0},
journal = {Int. J. Software and Informatics},
volume = {5},
number = {1-2},
pages = {55-76},
}