A Distributed System for Solving Equational Constraints Based on Lazy Narrowing Calculi (1999)

by M Marin, T Ida, W Schreiner
Venue:In JSSST Workshop on Programming and Programming Languages (PPL'99