Decidability and the finite model property (1981)

by A Urquhart
Venue:Journal of Philosophical Logic