@dblp

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

, , , , , and . Theory Pract. Log. Program., 19 (2): 229-261 (2019)

Links and resources

Tags