Quantifier-free and one-quantifier systems
G. E. Mints

This publication is cited in the following articles:

1. L. D. Beklemishev, “Reflection principles and provability algebras in formal arithmetic”, Russian Math. Surveys, 60:2 (2005), 197–268