184
click to vote
CORR
2010
Springer
15 years 10 days ago
2010
Springer
xample Guided Abstraction Refinement Algorithm for Propositional Circumscription Mikol