LoTREC: Logical Tableaux Research Engineering Companion

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

10.1007/11554554_25 ◽

2005 ◽

pp. 318-322 ◽

Cited By ~ 16

Author(s):

Olivier Gasquet ◽

Andreas Herzig ◽

Dominique Longin ◽

Mohamad Sahade