@inproceedings{DBLP:conf/cade/KuksaM16,
  added-at = {2016-08-09T12:02:18.000+0200},
  author = {Kuksa, Eugen and Mossakowski, Till},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl = {https://www.bibsonomy.org/bibtex/2bd49dde867f467c4dc29a1aaf538e540/tillmo},
  booktitle = {Proceedings of the 5th Workshop on Practical Aspects of Automated
               Reasoning co-located with International Joint Conference on Automated
               Reasoning {(IJCAR} 2016), Coimbra, Portugal, July 2nd, 2016.},
  editor = {Fontaine, Pascal and Schulz, Stephan and Urban, Josef},
  interhash = {fe88ab5d580eac2f9ee4ad0e7464bb33},
  intrahash = {bd49dde867f467c4dc29a1aaf538e540},
  keywords = {imported},
  pages = {56--68},
  publisher = {CEUR-WS.org},
  series = {{CEUR} Workshop Proceedings},
  timestamp = {2016-08-09T12:02:18.000+0200},
  title = {Prover-independent Axiom Selection for Automated Theorem Proving in
               Ontohub},
  url = {http://ceur-ws.org/Vol-1635/paper-06.pdf},
  volume = 1635,
  year = 2016
}