1. Abiteboul, S., Vardi, M.Y., Vianu, V.: Computing with infinitary logic. Theor. Comput. Sci. 149(1), 101–128 (1995)
2. Abiteboul, S., Vardi, M.Y., Vianu, V.: Fixpoint logics, relational machines, and computational complexity. J. ACM 44(1), 30–56 (1997)
3. Abiteboul, S., Vianu, V.: Generic computation and its complexity. In: Proceedings of the 23rd Annual ACM Symposium on Theory of Computing, New Orleans, LA, 5–8 May 1991, pp. 209–219 (1991)
4. Abiteboul, S., Vianu, V.: Computing with first-order logic. J. Comput. Syst. Sci. 50(2), 309–335 (1995)
5. Arroyuelo, J., Turull-Torres, J.M.: The existential fragment of third order logic and third order relational machines. In: Proceedings of the XX Argentine Conference on Computer Science, CACIC 2014, Buenos Aires, Argentina, 20–24 October 2014, pp. 324–333 (2014)