Arias Herrero, Joaquín (2019). Advanced Evaluation Techniques for (Non)-Monotonic Reasoning Using Rules with Constraints. Thesis (Doctoral), E.T.S. de Ingenieros Informáticos (UPM). https://doi.org/10.20868/UPM.thesis.58189.