The FaCT System
Ian Horrocks
Annote
AKA: Horrocks98d
Book Title
Proc. of the 2nd Int. Conf. on Analytic Tableaux and Related Methods (TABLEAUX'98)
Editor
Harrie de Swart
Pages
307–312
Publisher
Springer
Series
Lecture Notes in Artificial Intelligence
Volume
1397
Year
1998