Optimum stable model search: algorithms and implementation | Publicación