Efficient execution in an automated reasoning environment | Publicación