Nachum Dershowitz G. Sivakumar Solving Goals in Equational Languages. 45-55 1987 conf/ctrs/1987 CTRS db/conf/ctrs/ctrs87.html#DershowitzS87 http://dx.doi.org/10.1007/3-540-19242-5_4