TY  - RPRT
TI  - A Generalization of the Lifting Lemma for Logic Programming
AU  - Etienne Payet
AU  - Fred Mesnard
PY  - 2002
UR  - https://arxiv.org/abs/cs/0212026
ID  - cs/0212026
ER  -