Lee Naish. Heterogeneous SLD resolution. The Journal of Logic Programming, 1(4):297--303, December 1984. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Improving Backward Execution in the Andorra Family of.. - Abreu, Pereira, Codognet (1992) (2 citations) (Correct)
Improving Backward Execution in Non-Deterministic.. - Abreu, Pereira, Codognet (1992) (Correct)
A Confluent Semantic Basis For The Analysis Of.. - Codish, Falaschi, .. (1994) (Correct)
Suspension Analyses for Concurrent Logic Programs - Codish, Falaschi, Marriott (1994) (10 citations) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC