"Using SWISH to Realize Interactive Web-based Tutorials for Logic-based ..."

Jan Wielemaker et al. (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics