Jürgen Stuber. Superposition Theorem Proving for Abelian Groups Represented as Integer Modules. Theoretical Computer Science, 208(1-2):149-177, 1998. [doi]
@article{Stuber98,
title = {Superposition Theorem Proving for Abelian Groups Represented as Integer Modules},
author = {Jürgen Stuber},
year = {1998},
doi = {10.1016/S0304-3975(98)00082-6},
url = {http://dx.doi.org/10.1016/S0304-3975(98)00082-6},
researchr = {https://researchr.org/publication/Stuber98},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {208},
number = {1-2},
pages = {149-177},
}