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