TY  - RPRT
TI  - Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling
AU  - Annalisa Bossi
AU  - Sandro Etalle
AU  - Sabina Rossi
AU  - Jan-Georg Smaus
PY  - 2001
UR  - https://arxiv.org/abs/cs/0101022
ID  - cs/0101022
ER  -