TY - RPRT TI - Using SWISH to realise interactive web based tutorials for logic based languages AU - Jan Wielemaker AU - Fabrizio Riguzzi AU - Bob Kowalski AU - Torbjörn Lager AU - Fariba Sadri AU - Miguel Calejo PY - 2020 DO - 10.1017/s1471068418000522 UR - https://arxiv.org/abs/1808.08042 ID - 1808.08042 ER -