First Order Logic, Fixed Point Logic and Linear Order.

Anuj Dawar, Steven Lindell, Scott Weinstein

Browse the full CSL paper archive.