Fixpoint logics, relational machines and computational complexity (1997)

by S Abiteboul, M Y Vardi, V Vianu
Venue:Journal of the Association for Computing Machinery