Extending computational tree logic with relations and undefinedness.
Coleman, J. W.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle-upon-Tyne : Computing Science, Newcastle University,
c2010.
Caption title.
"December 2010."