@misc{indiciae15b0b88fdd8e, title = {An Application of Rational Trees in a Logic Programming Interpreter for a Procedural Language}, author = {Manuel Carro}, year = {2004}, url = {https://arxiv.org/abs/cs/0403028}, note = {Source identifier: cs/0403028} }