## Harald Ganzinger

*Saturation-Based Theorem Proving*

ICALP, 1996.

@inproceedings{ICALP-1996-Ganzinger, author = "Harald Ganzinger", booktitle = "{Proceedings of the 23rd International Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-61440-0_113", isbn = "3-540-61440-0", pages = "1--3", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Saturation-Based Theorem Proving}", volume = 1099, year = 1996, }