Efficient representation and computation of tableau proofs (1992)

by Kropf
Venue:International Workshop on Higher Order Logic Theorem Proving and its Applications