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), 19–42. https://doi.org/10.14201/ADCAIJ2016541942