@article{asperixafirstorderforwardchaining,
  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 = {2015},
  eprint = {1503.07717},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1503.07717v2},
}