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