Rubén González-Rubio A. Bradier J. Rohmer DDC Delta Driven Computer - a Parallel Machine for Symbolic Processing. 286-298 1986 conf/ac/1986fpc Future Parallel Computers db/conf/ac/fpc1986.html#Gonzalez-RubioBR86