Salazar, 2021. Theory Revision with Goal-directed ASP, in: .