Salvador Lucas José Meseguer Order-sorted dependency pairs. 108-119 2008 PPDP http://doi.acm.org/10.1145/1389449.1389463 conf/ppdp/2008 db/conf/ppdp/ppdp2008.html#LucasM08