Context-sensitive computations in confluent programs | Publicación