A decidable fragment of predicate calculus (1984)

by J Ketonen
Venue:Theoretical Computer Science