Email Address * *
Name
Subject *
Message * Decision procedures for equationally based reasoning. - 1243557516 - 9781243557513