Rewriting Induction for Higher-Order Constrained Term Rewriting Systems.

Kasper Hagens, Cynthia Kop

Browse the full LOPSTR paper archive.