Dynamic control of quantifier scope
Autor: Egg, Markus and Kohlhase, Michael
Herausgeber: