Author(s): Zimmermann, Thomas Ede
Title: Quantification over alternative intensions
Date submitted: 2016 04 10