de Vrijer. A Direct Proof of the Finiteness of Developments Theorem (1985)

by R
Venue:The Journal of Symbolic Logic