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

by L Cheikhrouhou, V Sorge
Venue:In: Proc. of ACIDCA’2000