@inproceedings{nonleftmost-lopstr05-short,
author = {E.~Albert and G.~Puebla and J.~Gallagher},
booktitle = {Proc. of LOPSTR'05},
month = {April},
publisher = {Springer LNCS 3901},
title = {{N}on-{L}eftmost {U}nfolding in {P}artial {E}valuation of {L}ogic {P}rograms with {I}mpure {P}redicates},
projects = {MERIT,PROMESAS},
butype = {inproceedings},
year = {2006}
}