Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs.

Matti Jrvisalo, Emilia Oikarinen

Browse the full ICLP paper archive.