TY  - RPRT
TI  - ASPeRiX, a First Order Forward Chaining Approach for Answer Set Computing
AU  - Claire Lefèvre
AU  - Christopher Béatrix
AU  - Igor Stéphan
AU  - Laurent Garcia
PY  - 2016
UR  - https://arxiv.org/abs/1503.07717
ID  - 1503.07717
ER  -