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