Align help with the name in our ICLP 2014 paper.