Rita Loogen
From Reduction Machines To Narrowing Machines
TAPSOFT, 1991.
@inproceedings{CCPSD-1991-Loogen, author = "Rita Loogen", booktitle = "{Proceedings of the Fourth International Joint Conference on Theory and Practice of Software Development, Volume 2: Colloquium on Combining Paradigms for Software Development}", doi = "10.1007/3540539816_80", isbn = "3-540-53981-6", pages = "438--457", publisher = "{Springer}", title = "{From Reduction Machines To Narrowing Machines}", year = 1991, }