Deepak Kapur, David R. Musser, Xumin Nie. The Tecton Proof System. In Vangalur S. Alagar, Laks V. S. Lakshmanan, Fereidoon Sadri, editors, Formal Methods in Databases and Software Engineering, Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992. Workshops in Computing, pages 54-79, Springer, 1992.
@inproceedings{KapurMN92,
title = {The Tecton Proof System},
author = {Deepak Kapur and David R. Musser and Xumin Nie},
year = {1992},
researchr = {https://researchr.org/publication/KapurMN92},
cites = {0},
citedby = {0},
pages = {54-79},
booktitle = {Formal Methods in Databases and Software Engineering, Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992},
editor = {Vangalur S. Alagar and Laks V. S. Lakshmanan and Fereidoon Sadri},
series = {Workshops in Computing},
publisher = {Springer},
isbn = {3-540-19812-1},
}