Grilletti, G.. Completeness for the Classical Antecedent Fragment of Inquisitive First-order Logic. Springer Science and Business Media LLC, Oct. 2021, doi:10.1007/s10849-021-09341-y.