25 citations · 79 across the 35 of their papers we have counts for
1 paper · 1 filter
Maria Paola Bonacina, Nachum Dershowitz
An abstract framework of canonical inference is used to explore how different proof orderings induce different variants of saturation and completeness. Notions like completion, par…