Efficient Contextual Unfolding.

Csar Rodrguez, Stefan Schwoon, Paolo Baldan

Browse the full CONCUR paper archive.