Peter Padawitz
Strategy-Controlled Reduction and Narrowing
RTA, 1987.
@inproceedings{RTA-1987-Padawitz, author = "Peter Padawitz", booktitle = "{Proceedings of the Second International Conference on Rewriting Techniques and Applications}", doi = "10.1007/3-540-17220-3_21", editor = "Pierre Lescanne", isbn = "3-540-17220-3", pages = "242--255", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Strategy-Controlled Reduction and Narrowing}", volume = 256, year = 1987, }