Link to "A Relational Framework for Higher-Order Shape Analysis" paper.