plasp: A Prototype for PDDL-Based Planning in ASP. - Martin Gebser; Roland Kaminski; Murat Knecht; Torsten Schaub (LPNMR, 2011)