Pedro J. Martín Antonio Gavilanes Simultaneous Rigid Sorted Unification for Tableaux. 31-59 2002 72 Studia Logica 1 db/journals/sLogica/sLogica72.html#MartinG02 http://dx.doi.org/10.1023/A:1020526008642