A formal definition of crosscut (2001)

by R Douence, O Motelet, M Sudholt
Venue:In Procedings of Reflection’01