Completeness and Cut-Elimination in the . . . (2004)
by
Mary DeMarco
,
James Lipton

