Forgetting auxiliary atoms in forks

Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce 0001, Gilberto Pérez, Concepción Vidal. Forgetting auxiliary atoms in forks. Artificial Intelligence, 275:575-601, 2019. [doi]

Abstract

Abstract is missing.