4 citations · 6 across the 3 of their papers we have counts for
1 paper · 2 filters
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…