An Innermost DP Framework for Constrained Higher-Order Rewriting.

Carsten Fuhs, Liye Guo, Cynthia Kop

Browse the full FSCD paper archive.