Patrick Koopmann: Signature-Based ABox Abduction in ALC is Hard. SOQE@KR 2021: 61-74