Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages
scientific article; zbMATH DE number 7107413