TY  - RPRT
TI  - Classes of Terminating Logic Programs
AU  - Dino Pedreschi
AU  - Salvatore Ruggieri
AU  - Jan-Georg Smaus
PY  - 2002
UR  - https://arxiv.org/abs/cs/0106050
ID  - cs/0106050
ER  -