8 citations · 9 across the 4 of their papers we have counts for
1 paper · 1 filter
Ahmed Bhayat, Johannes Schoisswohl, Michael Rawson
Classically, in saturation-based proof systems, unification has been considered atomic. However, it is also possible to move unification to the calculus level, turning the steps of…