Strub, CarloCarloStrub2023-04-132023-04-132013https://www.alexandria.unisg.ch/handle/20.500.14171/90454enA General and Intuitive Envelope Theoremworking paper