Resolution of quantifier scope ambiguities

Abstract
No abstract available