A First Order Forward Chaining Approach for Answer Set Computing.

Claire Lefvre, Pascal Nicolas

Browse the full LPNMR paper archive.