Unification-Free Execution of TYPOL Programs by Semantic Attribute Evaluation.

I. Attila Paul Franchi-Zannettacci Unification-Free Execution of TYPOL Programs by Semantic Attribute Evaluation. 160-177 1988 ICLP/SLP db/conf/iclp/iclp88.html#AttilaF88