Compiling Collapsing Rules in Certain Constructor Systems.

Sergio Antoy, Andy Jost

Browse the full LOPSTR paper archive.