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

by Linear
Venue:GLL + 04] Enrico Giunchiglia, Joohyung