Comsumption-based Distributed Unification

Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck. Comsumption-based Distributed Unification. In Paqui Lucio, Maurizio Martelli, Marisa Navarro, editors, 1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE 96, Donostia-San Sebastian, Spain, July 15-18, 1996. pages 207-218, 1996.

Abstract

Abstract is missing.