FaCT and DLP
Ian Horrocks and Peter F. Patel−Schneider
Annote
AKA: Horrocks98e
Book Title
Proc. of the 2nd Int. Conf. on Analytic Tableaux and Related Methods (TABLEAUX'98)
Editor
Harrie de Swart
ISBN
3−540−64406−7
Key
Proceedings of Tableaux'98
Month
MAY
Number
1397
Pages
27–30
Publisher
Springer
Series
Lecture Notes in Artificial Intelligence
Year
1998