PHOCUS: Production rules, Horn clauses, Objects and Contexts in a Unification-based System

@inproceedings{Chan1987PHOCUSPR,
  title={PHOCUS: Production rules, Horn clauses, Objects and Contexts in a Unification-based System},
  author={David Chan and Pierre Dufresne and Reinhard Enders},
  booktitle={SPLT},
  year={1987}
}

Topics from this paper.