Linear Läuchli semantics (1996)

by R. F. Blute, P. J. Scott
Venue:ANNALS PURE APPL. LOGIC