@doctoralThesis{Wand_2017,
title={Superposition: Types and Induction},
author={Wand, Daniel},
doi={http://dx.doi.org/10.22028/D291-26789},
year={2017}
}