@inproceedings{type-domains-lopstr05,
author = {J.~Gallagher and G.~Puebla and E.~Albert},
booktitle = {15th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'05)},
month = {April},
npages = {16},
number = {3901},
publisher = {Springer-Verlag},
series = {LNCS},
title = {Converting one {T}ype-{B}ased {A}bstract {D}omain to {A}nother},
projects = {MERIT,PROMESAS},
butype = {inproceedings},
year = {2006}
}