@misc{indiciaee9cf40d8da6c,
  title = {Interactive Logic Programming via Choice-Disjunctive Clauses},
  author = {Keehang Kwon},
  year = {2015},
  url = {https://arxiv.org/abs/1307.7505},
  note = {Source identifier: 1307.7505}
}