@misc{indiciae0f5eaaf181fd,
  title = {Predicate Specialization for Definitional Higher-order Logic Programs},
  author = {Antonis Troumpoukis and Angelos Charalambidis},
  year = {2018},
  url = {https://arxiv.org/abs/1808.04176},
  note = {Source identifier: 1808.04176}
}