A Web-based Tutoring Tool for Calculating Default Logic Extensions

Uwe Egly, Michael Fink, Axel Polleres, Hans Tompits. A Web-based Tutoring Tool for Calculating Default Logic Extensions. In WebNet. pages 1251-1252, 1999.