Fixpoint logics, relational machines, and computational conlplexity (1992)

by S Abiteboul, M Vardi, V Vianu
Venue:In Structure and Complexity