Richard Rankin, Ralph W. Wilkerson
Finding Fixed Point Combinators Using Prolog
SAC, 1993.
@inproceedings{SAC-1993-RankinW, author = "Richard Rankin and Ralph W. Wilkerson", booktitle = "{Proceedings of the Eighth Symposium on Applied Computing: States of the Art and Practice}", doi = "10.1145/162754.168691", pages = "604--608", publisher = "{ACM Press}", title = "{Finding Fixed Point Combinators Using Prolog}", year = 1993, }