The logic of the partial-calculus with equality , in (2004)

by L Schrder
Venue:in: Lecture Notes in Computer Science