@INPROCEEDINGS{MPB-GS:RTA1989:KBlab, AUTHOR = "Maria Paola Bonacina and Giancarlo Sanna", TITLE = "{KB}lab: an equational theorem prover for the Macintosh", BOOKTITLE = "Proceedings of the 3rd International Conference on Rewriting Techniques and Applications (RTA)", EDITOR = "Nachum Dershowitz", SERIES = "Lecture Notes in Computer Science", VOLUME = 355, PAGES = "548--550", PUBLISHER = "Springer", MONTH = "April", DOI = "10.1007/3-540-51081-8_135", YEAR = 1989}