An Application of Rational Trees in a Logic Programming Interpreter for a Procedural Language | Publicación