Towards Automated Integration of Guess and Check Programs in Answer Set Programming (2004)

Cached

Download Links

by Thomas Eiter , Axel Polleres
Venue:LPNMR, volume 2923 of LNCS
Citations:14 - 3 self