Klaus Schneider, Ramayya Kumar, Thomas Kropf. Efficient Representation and Computation of Tableau Proofs. In Luc J. M. Claesen, Michael J. C. Gordon, editors, Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL 92, Leuven, Belgium, 21-24 September 1992. Volume A-20 of IFIP Transactions, pages 39-57, North-Holland/Elsevier, 1992.
Abstract is missing.