Oetsch, et al.. The Sealion Has Landed: An IDE for Answer-set Programming—preliminary Report. Springer Berlin Heidelberg, 2013, doi:10.1007/978-3-642-41524-1_19.