R. Loukanova, “Relationships between Specified and Underspecified Quantification by the Theory of Acyclic Recursion”, ADCAIJ, vol. 5, no. 4, pp. 19–42, Nov. 2016.