The state explosion problem | Publicación