Haruhiko Sato Masahito Kurihara Sarah Winkler Aart Middeldorp Constraint-Based Multi-Completion Procedures for Term Rewriting Systems. 220-234 2009 92-D IEICE Transactions 2 http://search.ieice.org/bin/summary.php?id=e92-d_2_220&category=D&year=2009&lang=E&abst= db/journals/ieicet/ieicet92d.html#SatoKWM09