Authors: J.Christian

Citation: J.christian, Flatterms, Discrimination Nets, and Fast Term Rewriting, Journal of automated reasoning , 10(1), 1993, pp. 95-114