4 citations · 4 across the 1 of their papers we have counts for
1 paper
M. Fuchs, D. Fuchs
Top-down and bottom-up theorem proving approaches each have specific advantages and disadvantages. Bottom-up provers profit from strong redundancy control but suffer from the lack…