Davy Van Nieuwenborgh Stijn Heymans Dirk Vermeir Approximating Extended Answer Sets. 462-466 2006 conf/ecai/2006 ECAI db/conf/ecai/ecai2006.html#NieuwenborghHV06