Complexity Classes and Theories of Finite Models.

James F. Lynch Complexity Classes and Theories of Finite Models. 127-144 1982 15 Mathematical Systems Theory 2 db/journals/mst/mst15.html#Lynch82