Minimal model generation with positive unit hyper-resolution tableaux
収録刊行物
-
- Proc. 5th Int. Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAUX'96
-
Proc. 5th Int. Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAUX'96 143-159, 1996
Springer