Ursula Martin, Tobias Nipkow. Unification in Boolean Rings. Journal of Automated Reasoning, 4(4):381-396, 1988.
@article{MartinN88:0, title = {Unification in Boolean Rings}, author = {Ursula Martin and Tobias Nipkow}, year = {1988}, researchr = {https://researchr.org/publication/MartinN88%3A0}, cites = {0}, citedby = {0}, journal = {Journal of Automated Reasoning}, volume = {4}, number = {4}, pages = {381-396}, }