Search results for: Cristinel Mateis
Software Quality Journal > 2019 > 27 > 2 > 757-795
Lecture Notes in Computer Science > Logic in Databases > 435-453
Lecture Notes in Computer Science > Intelligent Problem Solving. Methodologies and Approaches > Diagnosis I > 174-183
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Contributed Papers > 290-304