Ordered tableaux: Extensions and applications

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/bfb0027413 ◽

1997 ◽

pp. 173-187 ◽

Cited By ~ 4

Author(s):

Reiner Hähnle ◽

Christian Pape

Download Full-text