@misc{ref-rif-ucr,
title = "{RIF Use Cases and
    Requirements}",
    author = {Ginsberg et. al., eds.},
    year = {2006},
    howpublished = { \url{http://www.w3.org/TR/rif-ucr/} }
}
@article{ref-owlpd,
title = "{Completeness,
    decidability and complexity of entailment for RDF Schema and a
    semantic extension involving the OWL vocabulary}",
    author = {ter Horst, Herman J.},
    journal = {Journal
    of Web Semantics},
    year = {2005},
    volume = {3},
    number = {2},
    howpublished = { \url{http://www.websemanticsjournal.org/ps/pub/2005-15} }
}
@misc{ref-owl-std,
title = "{OWL Web Ontology
    Language Semantics and Abstract Syntax}",
    author = {Patel-Schneider, Hayes, Horrocks, eds.},
    year = {2004},
    howpublished = { \url{http://www.w3.org/TR/owl-semantics/} }
}
@misc{ref-lbase,
title = "{LBase:
    Semantics for Languages of the Semantic Web W3C Working Group
    Note 10 October 2003}",
    author = {R.V. Guha and Patrick Hayes},
    howpublished = { \url{http://www.w3.org/TR/2003/NOTE-lbase-20031010/} }
}
@misc{ref-vowl,
title = "{Using a First Order Logic Prover with OWL}",
    author = {Sean Bechhofer},
    year = {2004},
    howpublished = { \url{http://wonderweb.man.ac.uk/owl/first-order.shtml} }
}
@misc{ref-surnia,
title = "{Surnia}",
    author = {Sandro Hawke},
    year = {2003},
    howpublished = { \url{http://www.w3.org/2003/08/surnia/} }
}
@misc{swtut2003,
title = "{Semantic Web Tutorial
    Using N3}",
    author = {Tim Berners-Lee and Dan Connolly and Sandro
    Hawke},
    year = {2003},
    address = {Budapest},
    howpublished = { \url{http://www.w3.org/2000/10/swap/doc/} }
}
@misc{ref-acl2logic,
title = "{A
    Precise Description of the ACL2 Logic}",
    author = {Matt Kaufmann and J Moore},
    month = {April,},
    year = {1998},
    howpublished = { \url{http://www.cs.utexas.edu/users/moore/publications/km97a.pdf} }
}
@article{ref-acl2ieee,
title = "{An
    Industrial Strength Theorem Prover for a Logic Based on Common
    Lisp}",
    author = {Matt Kaufmann and J Moore},
    journal = {IEEE Transactions on
    Software Engineering},
    month = {April},
    year = {1997},
    volume = {23},
    pages = {203-213},
    number = {4},
    howpublished = { \url{http://www.cs.utexas.edu/users/moore/publications/km97.pdf} }
}
@book{ref-acl2book,
title = "{Computer-Aided
    Reasoning: An Approach}",
    author = {Matt Kaufmann and Panagiotis Manolios and J Strother Moore},
    publisher = {Kluwer Academic Publishers},
    month = {June},
    year = {2000},
    howpublished = { \url{http://www.cs.utexas.edu/users/moore/publications/acl2-books/car/index.html} }
}