A formal definition of crosscuts (2001)

by Rémi Douence, Olivier Motelet, Mario Südholt
Venue:In Proceedings of Reflection 2001, LNCS 2192