TY - RPRT TI - An Application of Rational Trees in a Logic Programming Interpreter for a Procedural Language AU - Manuel Carro PY - 2004 UR - https://arxiv.org/abs/cs/0403028 ID - cs/0403028 ER -