@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 Third 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",
YEAR = 1989}