Relational Queries Computable in Polynomial Time Neil Immerman 86-104 Information and Control January/February/March 1986 68 1-3 db/journals/iandc/iandc68.html#Immerman86