TY  - RPRT
TI  - Speedup of Logic Programs by Binarization and Partial Deduction
AU  - Jan Hruza
AU  - Petr Stepanek
PY  - 2003
UR  - https://arxiv.org/abs/cs/0312026
ID  - cs/0312026
ER  -