Christopher Beatrix, Claire Lefèvre, Laurent Garcia, Igor Stephan, Manuel Carro, et al.. Justifications and Blocking Sets in a Rule-Based Answer Set Computation.
32nd International Conference on Logic Programming (ICLP 2016), 2016, New york, United States.
⟨hal-02709504⟩