A Portfolio Solver for Answer Set Programming: Preliminary Report. - Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Torsten Schaub; Marius Thomas Schneider; Stefan Ziller (LPNMR, 2011)