Towards a mechanisation of a logic that copes with partial terms /
Jones, Cliff B.
Lovert, Matthew J.
Steggles, L. Jason.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle-upon-Tyne : Computing Science, Newcastle University,
c2012.
Caption title.
"February, 2012."