Improving Distributed Unification through Type Analysis.

Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck

Browse the full EuroPar paper archive.