TY  - RPRT
TI  - Well-Typed Logic Programs Are not Wrong
AU  - Pierre Deransart
AU  - Jan-Georg Smaus
PY  - 2001
UR  - https://arxiv.org/abs/cs/0012015
ID  - cs/0012015
ER  -