@phdthesis{wand:tel-01592497, TITLE = {{Superposition: Types and Induction}}, AUTHOR = {Wand, Daniel}, URL = {https://inria.hal.science/tel-01592497}, SCHOOL = {{Saarland University}}, YEAR = {2017}, MONTH = Aug, KEYWORDS = {theorem proving ; first-order logic ; higher-order logic ; superposition ; polymorphism ; d{\'e}duction automatique}, TYPE = {Theses}, PDF = {https://inria.hal.science/tel-01592497/file/thesis_wand.pdf}, HAL_ID = {tel-01592497}, HAL_VERSION = {v1}, }