Inproceedings,

Partial Evaluation for Hierarchies of Logic Theories.

, , and .
NACLP, page 359-376. MIT Press, (1990)

Meta data

Tags

Users

  • @dblp

Comments and Reviews