TY - RPRT TI - ÆTHEL: Automatically Extracted Typelogical Derivations for Dutch AU - Konstantinos Kogkalidis AU - Michael Moortgat AU - Richard Moot PY - 2020 UR - https://arxiv.org/abs/1912.12635 ID - 1912.12635 ER -