Leo Bachmair, Harald Ganzinger, Uwe Waldmann
Theorem Proving for Hierarchic First-Order Theories
PPDP, 1992.
@inproceedings{ALP-1992-BachmairGW, author = "Leo Bachmair and Harald Ganzinger and Uwe Waldmann", booktitle = "{Proceedings of the Third International Conference on Algebraic and Logic Programming}", doi = "10.1007/BFb0013841", isbn = "3-540-55873-X", pages = "420--434", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Theorem Proving for Hierarchic First-Order Theories}", volume = 632, year = 1992, }