Corpus ID: 36711684

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={D. Chan and P. Dufresne and R. Enders},
  booktitle={SPLT},
  year={1987}
}
  • D. Chan, P. Dufresne, R. Enders
  • Published in SPLT 1987
  • Mathematics, Computer Science
  • Topics from this paper.