@inproceedings{d03480b3cf0f47edbbd843792ad76078,
title = "Unification in Boolean Rings",
author = "Martin, {Ursula Hilda Mary} and T Nipkow",
note = "Proc.8th International Conference on Computer Aided Deduction (CADE-8), vol 230",
year = "1986",
doi = "10.1007/3-540-16780-3",
language = "English",
isbn = "978-3-540-16780-8",
volume = "230",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
editor = "Siekmann, {Jorg H}",
booktitle = "8th International Conference on Automated Deduction, Oxford, England, July 27–August 1, 1986 Proceedings",
address = "Netherlands",
}