A parallel implementation of equational programming | IEEE Conference Publication | IEEE Xplore