Fixpoint Logics, Relational Machines, and Computational Complexity (1993)

by Serge Abiteboul, Moshe Y. Vardi, Victor Vianu
Venue:In Structure and Complexity