Relational queries computable in polynomial time (1986)

by Neil Immerman
Venue:Information and Control