129
click to vote
TABLEAUX
1999
Springer
15 years 7 months ago
1999
Springer
We combine techniques originally developed for refutational first-order theorem proving within the clause tree framework with techniques for minimal model computation developed wi...