=Paper=
{{Paper
|id=Vol-3515/paper-1
|storemode=property
|title=Why Not? Explaining Missing Entailments with Evee
|pdfUrl=https://ceur-ws.org/Vol-3515/paper-1.pdf
|volume=Vol-3515
|authors=Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Mikhail Kotlov
|dblpUrl=https://dblp.org/rec/conf/dlog/AlrabbaaBFKK23
}}
==Why Not? Explaining Missing Entailments with Evee
==
None