@InProceedings{KuncakJackson05RelationalAnalysisAlgebraicDatatypes,
  author =       {Viktor Kuncak and Daniel Jackson},
  title =        {Relational Analysis of Algebraic Datatypes},
  booktitle =    {Joint 10th European Software Engineering Conference and 13th
                  ACM SIGSOFT Symposium on the Foundations of Software Engineering},
  year =         2005
}