Inferring the proof process /
Velykis, Andrius.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : Newcastle University, Computing Science,
c2012.
Title from cover.
"July 2012."