Search results for: Enrique Martin-Martin
Fundamenta Informaticae > 2020 > Vol. 177, nr 3/4 > 203--234
Journal of Automated Reasoning > 2017 > 59 > 1 > 47-85
Lecture Notes in Computer Science > Functional and Constraint Logic Programming > Contributed Papers > 128-144
Science of Computer Programming > 2015 > 110 > Complete > 104-118
Information and Computation > 2014 > 235 > Complete > 36-69