An efficient algorithm for searching implicit AND/OR graphs with cycles | Publicación