Justifications and Blocking Sets in a Rule-Based Answer Set Computation. - Christopher Béatrix; Claire Lefèvre; Laurent Garcia; Igor Stéphan (ICLP (Technical Communications), 2016)

Justifications dans les approches ASP basées sur les règles : application au backjumping dans le solveur ASPeRiX. (Justifications in rule-based ASP computations : application to backjumping in the ASPeRiX solver). - Christopher Béatrix (2016)

ASPeRiX, a first-order forward chaining approach for answer set computing. - Claire Lefèvre; Christopher Béatrix; Igor Stéphan; Laurent Garcia (Theory Pract. Log. Program., 2017)