@inproceedings{RvKSvE:WFLP,
  author =   {R. van Kesteren and O. Shkaravska and M. van Eekelen},
  title =    {Inferring static non-monotonically sized types through testing},
  booktitle = {$16^{th}$ International Workshop on Functional and (Constraint) Logic Programming (WFLP’07), Paris, France},
  editor    = {Rachid Echahed},
  publisher = {CNAM, France},
  year =     {2007},
  pages = {123 - 139},
  comment = "peer reviewed, 12 selected out of 21"
}