Search results for: J. L. Ruiz-Reina
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Verification > 182-198
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 49-58
Lecture Notes in Computer Science > Artificial Intelligence and Symbolic Computation > Papers > 171-184
Journal of Automated Reasoning > 2014 > 52 > 3 > 331-360