Towards Automated Integration of Guess and Check Programs in Answer Set Programming.

Thomas Eiter, Axel Polleres

Browse the full LPNMR paper archive.