@inproceedings{mod-types-pepm08,
author = {P.~Pietrzak and J.~Correas and G.~Puebla and M.~Hermenegildo},
title = {{A} {P}ractical {T}ype {A}nalysis for {V}erification of {M}odular {P}rolog {P}rograms},
booktitle = {ACM SIGPLAN 2008 Workshop on Partial Evaluation and Program Manipulation (PEPM'08)},
month = {January},
pages = {61--70},
publisher = {{ACM} {P}ress},
projects = {MOBIUS,MERIT,PROMESAS},
isbn = {ISBN 978-1-59593-977-7},
projects = {MERIT,PROMESAS},
butype = {workshop},
year = {2008}
}