Unification-Free Execution of TYPOL Programs by Semantic Attribute Evaluation. - I. Attila; Paul Franchi-Zannettacci (ICLP/SLP, 1988)