@inproceedings{baumgartner:hal-01087872, TITLE = {{Hierarchic Superposition: Completeness without Compactness}}, AUTHOR = {Baumgartner, Peter and Waldmann, Uwe}, URL = {https://inria.hal.science/hal-01087872}, BOOKTITLE = {{MACIS 2013 - Fifth International Conference on Mathematical Aspects of Computer and Information Sciences}}, ADDRESS = {Nanning, China}, EDITOR = {Marek Kosta and Thomas Sturm}, PAGES = {8-12}, YEAR = {2013}, MONTH = Dec, HAL_ID = {hal-01087872}, HAL_VERSION = {v1}, }