1. Abiteboul, S., Simon, E., Vianu, V.: Non-deterministic languages to express deterministic transformations. In: Proceedings of 9th ACM Symposium on Principles of Database Systems, pp. 218–229. ACM Press, New York (1990)
2. Abiteboul, S., Vianu, V.: Fixpoint extensions of first-order and datalog-like languages. In: Proceedings of 4th IEEE Annual Symposium on Logic in Computer Science, pp. 71–79. IEEE Computer Society Press, Los Alamitos (1989)
3. Blass, A., Gurevich, Y.: The logic of choice. Journal of Symbolic Logic 65(3), 1264–1310 (2000)
4. Dawar, A.: A restricted second order logic for finite structures. Information and Computation 143(2), 154–174 (1998)
5. Dawar, A., Richerby, D.M.: Fixed-point logics with nondeterministic choice. Journal of Logic and Computation 13(4), 503–530 (2003)