Simplified witness tree arguments (2000)

by T Schickinger, A Steger
Venue:SOFSEM 2000: Theory and Practice of Informatics