Order-sorted dependency pairs.

Salvador Lucas, Jos Meseguer

Browse the full PPDP paper archive.