Lee Naish
Adding equations to NU-Prolog
PPDP, 1991.
@inproceedings{PLILP-1991-Naish, author = "Lee Naish", booktitle = "{Proceedings of the Third International Symposium on Programming Language Implementation and Logic Programming}", doi = "10.1007/3-540-54444-5_84", isbn = "3-540-54444-5", pages = "15--26", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Adding equations to NU-Prolog}", volume = 528, year = 1991, }