Alternation Hierarchies of First Order Logic with Regular Predicates.

Luc Dartois, Charles Paperman

Browse the full FCT paper archive.