SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support. - Paula-Andra Busoniu; Johannes Oetsch; Jörg Pührer; Peter Skocovsky; Hans Tompits (Theory Pract. Log. Program., 2013)