Under Consideration for Publication in Theory and Practice of Logic Programming Asperix, a First Order Forward Chaining Approach for Answer Set Computing *