The DLVHEX System

Thomas Eiter , Stefano Germano , Giovambattista Ianni , Tobias Kaminski , Christoph Redl , Peter Schüller , Antonius Weinzierl