Inproceedings,

Using Narrowing Approximations to Optimize Equational Logic Programs.

, , , and .
GULP, page 127-142. (1993)

Meta data

Tags

Users

  • @dblp

Comments and Reviews