Patrick Koopmann, Renate A. Schmidt: LETHE: Saturation-Based Reasoning for Non-Standard Reasoning Tasks. ORE 2015: 23-30