TY - RPRT TI - A Generic Framework for the Analysis and Specialization of Logic Programs AU - German Puebla AU - Elvira Albert AU - Manuel Hermenegildo PY - 2005 UR - https://arxiv.org/abs/cs/0508111 ID - cs/0508111 ER -