Neil Immerman. Upper and lower bounds for first order expressibility. Journal of computer and system sciences, vol. 25 (1982), pp. 76–98. - Neil Immerman. Relational queries computable in polynomial time. Information and control, vol. 68 (1986), pp. 86–104. - Neil Immerman. Languages that capture complexity classes. SIAM journal on computing, vol. 16 (1987), pp. 760–778.
Samuel R. Buss · Journal of Symbolic Logic · 1989
Neil Immerman. Upper and lower bounds for first order expressibility. Journal of computer and system sciences, vol. 25 (1982), pp. 76–98. - Neil Immerman. Relational queries computable in polynomial time. Information and control, vol. 68 (1986), pp. 86–104. - Neil Immerman. Languages that capture complexity classes. SIAM journal on computing, vol. 16 (1987), pp. 760–778. - Volume 54 Issue 1