PDS -- A Three-Dimensional Data Structure for Proof Plans (2000)

by Lassaad Cheikhrouhou, Volker Sorge
Venue: PROC. OF ACIDCA'2000