TY  - RPRT
TI  - Checking Termination of Bottom-Up Evaluation of Logic Programs with Function Symbols
AU  - Marco Calautti
AU  - Sergio Greco
AU  - Francesca Spezzano
AU  - Irina Trubitsyna
PY  - 2014
DO  - 10.1017/s1471068414000623
UR  - https://arxiv.org/abs/1407.2106
ID  - 1407.2106
ER  -