Dufresne, P. D.Chan and R.Enders "PHOCUS: Production Rules, Horn Clauses, Objects and Contexts in a Unification Based System", Actes du Sem Prog et Logique, Tregastel (May 1987), pp77-108.

Languages mentioned

• PHOCUS {1987}