Simplified witness tree arguments, in (2000)

by T Schickinger, A Steger
Venue:Proceedings of the 27th Annual Conference on Current Trends in Theory and Practice of Informatics, in: LNCS