Massimo Bruschi. Theorem Proving Engine and Strategy Description Language. In FGCS. pages 634-642, 1992.
@inproceedings{Bruschi92:0,
title = {Theorem Proving Engine and Strategy Description Language},
author = {Massimo Bruschi},
year = {1992},
researchr = {https://researchr.org/publication/Bruschi92%3A0},
cites = {0},
citedby = {0},
pages = {634-642},
booktitle = {FGCS},
}