Complexity classes and theories of finite models (1982)

by J F Lynch
Venue:Mathematical Systems Theory