@misc{indiciae027e680aa7a6,
  title = {ASPeRiX, a First Order Forward Chaining Approach for Answer Set Computing},
  author = {Claire Lefèvre and Christopher Béatrix and Igor Stéphan and Laurent Garcia},
  year = {2016},
  url = {https://arxiv.org/abs/1503.07717},
  note = {Source identifier: 1503.07717}
}