A note on the size of prenex normal forms

Frederik Harwath. A note on the size of prenex normal forms. Inf. Process. Lett., 116(7):443-446, 2016. [doi]

Abstract

Abstract is missing.