## Jürgen Stuber

*Superposition Theorem Proving for Albelian Groups Represented as Integer Modules*

RTA, 1996.

@inproceedings{RTA-1996-Stuber, author = "Jürgen Stuber", booktitle = "{Proceedings of the Seventh International Conference on Rewriting Techniques and Applications}", doi = "10.1007/3-540-61464-8_41", editor = "Harald Ganzinger", isbn = "3-540-61464-8", pages = "33--47", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Superposition Theorem Proving for Albelian Groups Represented as Integer Modules}", volume = 1103, year = 1996, }