Relational Queries Computable (1986)

by N Immerman
Venue:in Polynomial Time, Information and Control 68