Extending partial deduction to tabled execution: some results and open issues

Konstantinos Sagonas, Michael Leuschel
1998 ACM Computing Surveys  
doi:10.1145/289121.289137 fatcat:7wws6qbxlje4fpeuduyicymfum