@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}