Joxan Jaffar, Peter J. Stuckey. Semantics of Infinite Tree Logic Programming. Theoretical Computer Science, 46(3):141-158, 1986.
@article{JaffarS86:1, title = {Semantics of Infinite Tree Logic Programming}, author = {Joxan Jaffar and Peter J. Stuckey}, year = {1986}, tags = {semantics, logic programming, programming, logic}, researchr = {https://researchr.org/publication/JaffarS86%3A1}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {46}, number = {3}, pages = {141-158}, }