Aleksy Schubert, Pawel Urzyczyn, Daria Walukiewicz-Chrzaszcz. Restricted Positive Quantification Is Not Elementary. In Hugo Herbelin, Pierre Letouzey, Matthieu Sozeau, editors, 20th International Conference on Types for Proofs and Programs, TYPES 2014, May 12-15, 2014, Paris, France. Volume 39 of LIPIcs, pages 251-273, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2014. [doi]
Abstract is missing.