Benchmark Analysis with FaCT

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/tableaux/Horrocks00, title={Benchmark Analysis with FaCT}, pages={62-66}, year={2000}, crossref={DBLP:conf/tableaux/2000}, booktitle={TABLEAUX}, url={http://www.informatik.uni-trier.de/~ley/db/conf/tableaux/tableaux2000.html#Horrocks00}, author={Ian Horrocks} }\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/Benchmark_Analysis_with_FaCT"
Personal tools