OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver. - Minh Dao-Tran; Thomas Eiter; Michael Fink 001; Gerald Weidinger; Antonius Weinzierl (JELIA, 2012)