* Yuri Matiyasevich, "Elimination of bounded universal quantifiers standing in front of a quantifier-free arithmetical formula", Personal Journal of Yuri Matiyasevich.
* Yuri Matiyasevich, Elimination of bounded universal quantifiers standing in front of a quantifier-free arithmetical formula, Personal Journal of Yuri Matiyasevich.