Semantic tableaux as a framework for automated theorem-proving

Advances in Artificial Intelligence · 1987 · 18 citations · 0 references