Search results for: Heribert Schütz
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Contributed Research Papers > 263-277
Information and Computation > 2000 > 162 > 1-2 > 138-157
Journal of Automated Reasoning > 1997 > 18 > 2 > 227-236