Grailog KS Viz: A Grailog Visualizer for Datalog RuleML Using an XSLT Translator to SVG. - Martin Koch 006; Sven Schmidt; Harold Boley; Rainer Herpers (RuleML (2), 2013)