Proof weaving (2006)

by A Mulhern
Venue:In WMM ’06