El marcado de un árbol dialéctico en DeLP es pspace-completo