2 citations · 5 across the 12 of their papers we have counts for
1 paper · 1 filter
Damien Rouhling, Mahfuza Farooque, Stéphane Graham-Lengrand +2
Goal-directed proof search in first-order logic uses meta-variables to delay the choice of witnesses; substitutions for such variables are produced when closing proof-tree branches…