Michael R. Donat, Lincoln A. Wallen
Learning and Applying Generalised Solutions using Higher Order Resolution
CADE, 1988.
@inproceedings{CADE-1988-DonatW, author = "Michael R. Donat and Lincoln A. Wallen", booktitle = "{Proceedings of the Ninth International Conference on Automated Deduction}", doi = "10.1007/BFb0012822", isbn = "3-540-19343-X", pages = "41--60", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Learning and Applying Generalised Solutions using Higher Order Resolution}", volume = 310, year = 1988, }