1 citations · 1 across the 1 of their papers we have counts for
1 paper
Peng Fu, Ekaterina Komendantskaya, Tom Schrijvers +1
Resolution lies at the foundation of both logic programming and type class context reduction in functional languages. Terminating derivations by resolution have well-defined induct…