5 citations · 5 across the 2 of their papers we have counts for
1 paper · 1 filter
Camillo Fiorentini, Mauro Ferrari
The inverse method is a saturation based theorem proving technique; it relies on a forward proof-search strategy and can be applied to cut-free calculi enjoying the subformula prop…