https://rantonse.no/research/publications/HansenAntonsenWaaler07
Incremental Closure of Variable Splitting Tableaux | Roger Antonsen
Incremental closure is a proof search technique for free variable analytic tableaux where partial solutions are updated along with tableaux expansion. In this...
variable splittingincrementalclosuretableauxroger