Relational queries computable in polynomial time (1986)

by N Immerman
Venue:Iform. and Control