Loukanova, R. “Relationships Between Specified and Underspecified Quantification by the Theory of Acyclic Recursion”. ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal, vol. 5, no. 4, Nov. 2016, pp. 19-42, doi:10.14201/ADCAIJ2016541942.