Axiom Pinpointing in General Tableaux

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

10.1007/978-3-540-73099-6_4 ◽

2007 ◽

pp. 11-27 ◽

Cited By ~ 14

Author(s):

Franz Baader ◽

Rafael Peñaloza

Download Full-text