Extended ASP Tableaux and rule redundancy in normal logic programs.

Matti Järvisalo Emilia Oikarinen Extended ASP Tableaux and rule redundancy in normal logic programs. 691-716 2008 8 TPLP 5-6 http://dx.doi.org/10.1017/S1471068408003578 db/journals/tplp/tplp8.html#JarvisaloO08