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}
}

• David Chan, Pierre Dufresne, Reinhard Enders
• Published in SPLT 1987

Save to Library

Create Alert

Cite