Benchmark analysis with fact (2000)

by Ian Horrocks
Venue:In Proceedings of TABLEAUX 2000
Citations:18 - 8 self