logic. Theoretical Computer Science, 50(1):1–102 (1987)

by Linear
Venue:In Proc. MFCS’79, LNCS 74