Rule-based Word Equation Solving.

Joel D. Day, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bgsted Poulsen

Browse the full ICSE paper archive.