Ideal non-deterministic operators as a formal framework to reduce the key finding problem | Publicación