Simultaneous Rigid Sorted Unification.

Pedro J. Martn, Antonio Gavilanes

Browse the full JELIA paper archive.