@TechReport{SchwerhoffSummers14, author = {M. Schwerhoff and A. J. Summers}, title = {Lightweight Support for Magic Wands in an Automatic Verifier}, institution = {ETH Zurich}, year = {2014}, doi = {10.3929/ethz-a-010089016} }