Salazar. Theory Revision with Goal-directed ASP. 2021.