Advanced Evaluation Techniques for (Non)-Monotonic Reasoning Using Rules with Constraints | Publicación