@inproceedings{9978,
  title = "LETHE: Saturation-Based Reasoning for Non-Standard Reasoning Tasks",
  author = "Patrick Koopmann and Renate Schmidt",
  year = "2015",
  booktitle = "Informal Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE)",
  publisher = "CEUR-WS.org",
}