DLP and FaCT

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

10.1007/3-540-48754-9_3 ◽

1999 ◽

pp. 19-23 ◽

Author(s):

Peter F. Patel-Schneider ◽

Ian Horrocks

Download Full-text