Alexander V. Lyaletski, Andrey Paskevich, Konstantin Verchinine. Theorem Proving and Proof Verification in the System SAD. In Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec, editors, Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings. Volume 3119 of Lecture Notes in Computer Science, pages 236-250, Springer, 2004. [doi]
Abstract is missing.