@misc{indiciae3c76964fe74f,
  title = {Checking Termination of Bottom-Up Evaluation of Logic Programs with Function Symbols},
  author = {Marco Calautti and Sergio Greco and Francesca Spezzano and Irina Trubitsyna},
  year = {2014},
  doi = {10.1017/s1471068414000623},
  url = {https://arxiv.org/abs/1407.2106},
  note = {Source identifier: 1407.2106}
}