First Order Logic, Fixed Point Logic and Linear Order.

Anuj Dawar Steven Lindell Scott Weinstein First Order Logic, Fixed Point Logic and Linear Order. 161-177 1995 conf/csl/1995 CSL db/conf/csl/csl95.html#DawarLW95 http://dx.doi.org/10.1007/3-540-61377-3_37