4 citations · 4 across the 1 of their papers we have counts for
1 paper
Sunil Kothari, James Caldwell
We present formalized proofs verifying that the first-order unification algorithm defined over lists of satisfiable constraints generates a most general unifier (MGU), which also h…