First Order Logic, Fixed Point Logic and Linear Order
Computer science logic: 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
Faculty Start Year
"First Order Logic, Fixed Point Logic and Linear Order" (co-written with Anuj Dawar & Scott Weinstein), in Kleine-Büning, H. (ed.), Computer Science Logic '95, Springer-Verlag, Lecture Notes in Computer Science Vol. 1092, 1996, pp. 161-177.