The FaCT system (1998)

by Ian Horrocks
Venue:In Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX’98), volume 1397 in Lecture Notes in Artificial Intelligence
Citations:136 - 15 self