Extending Partial Deduction to Tabled Execution: Some Results and Open Issues

Konstantinos F. Sagonas, Michael Leuschel. Extending Partial Deduction to Tabled Execution: Some Results and Open Issues. ACM Computing Surveys, 30(3es):16, 1998. [doi]

Abstract

Abstract is missing.