Journal article

Semantics of infinite tree logic programming

J Jaffar, PJ Stuckey

Theoretical Computer Science | Published : 1986

DOI: 10.1016/0304-3975(86)90027-7

Citation metrics

20Scopus