Julienne: A Trace Slicer for Conditional Rewrite Theories.

Mara Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero

Browse the full FM paper archive.