18 citations · 62 across the 18 of their papers we have counts for
1 paper · 2 filters
Peng Fu, Ekaterina Komendantskaya
This paper presents a study of operational and type-theoretic properties of different resolution strategies in Horn clause logic. We distinguish four different kinds of resolution:…