Ashok Kumar, Vishv M. Malhotra. A New Computation Rule for Prolog. Inf. Process. Lett., 27(5):249-252, 1988. [doi]
@article{Kumar88:0, title = {A New Computation Rule for Prolog}, author = {Ashok Kumar and Vishv M. Malhotra}, year = {1988}, doi = {10.1016/0020-0190(88)90087-7}, url = {http://dx.doi.org/10.1016/0020-0190(88)90087-7}, tags = {Prolog, rule-based, rules}, researchr = {https://researchr.org/publication/Kumar88%3A0}, cites = {0}, citedby = {0}, journal = {Inf. Process. Lett.}, volume = {27}, number = {5}, pages = {249-252}, }