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} }
No Paper Link Available