TY  - RPRT
TI  - More Precise Yet Efficient Type Inference for Logic Programs
AU  - Claudio Vaucheret
AU  - Francisco Bueno
PY  - 2002
UR  - https://arxiv.org/abs/cs/0207049
ID  - cs/0207049
ER  -