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

I. Attila, Paul Franchi-Zannettacci

Browse the full ICLP paper archive.