Symbolic Unfolding of Multi-adjoint Logic Programs | Publicación