Searching for "Partial Deduction of Updateable Definite Logic Programs." – sorted by Relevance.
-
CompuNet subgroup on Program Development, Analysis and Transformation
- deduction of updateable definite logic programs. The Journal of Logic Programming, 18(1):1--27, January 1994
- Add To MetaCart

