Publication

On Relational Analysis of Algebraic Datatypes