Uwe Wolter
Narrowing in Partial Conditional Equational Theories
PPDP, 1988.
@inproceedings{ALP-1988-Wolter, author = "Uwe Wolter", booktitle = "{Proceedings of the First International Workshop on Algebraic and Logic Programming}", doi = "10.1007/3-540-50667-5_76", isbn = "3-540-50667-5", pages = "244", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Narrowing in Partial Conditional Equational Theories}", volume = 343, year = 1988, }