Higher-Order LCTRSs and Their Termination.

Liye Guo, Cynthia Kop

Browse the full ESOP paper archive.