Benchmark Analysis with FaCT
I. Horrocks
Book Title
Proc. of the 4th Int. Conf. on Analytic Tableaux and Related Methods (TABLEAUX 2000)
ISBN
3−540−67697−X
Number
1847
Pages
62–66
Publisher
Springer−Verlag
Series
Lecture Notes in Artificial Intelligence
Year
2000