The Theorema Environment for Interactive Proof Development (2005)

by F Piroi, T Kutsia
Venue:in Logic for Programming, Artificial Intelligence, and Reasoning. Proceedings of the 12th International Conference, LPAR’05 , eds. G. Sutcliffe and A. Voronkov, Lecture Notes in Artificial Intelligence