Semi-inversion of Conditional Constructor Term Rewriting Systems.

Maja Hanne Kirkeby, Robert Glck

Browse the full LOPSTR paper archive.