Ricardo Caferra & Philippe Jorrand "Unification with Refined Linearity Check as a Network of Parallel Processes"

(1985) European Conference on Computer Algebra EUROCAL 85 LNCS 204  

Languages mentioned FP2 {1986}