Youand Subrahmanyam. Equational Logic Programming. ACM Press, 1986, doi:10.1145/512644.512663.