Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems.

Maja H. Kirkeby, Robert Glck

Browse the full PPDP paper archive.