A fold/unfold transformation framework for rewrite theories extended to CCT.

Mara Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi

Browse the full PEPM paper archive.