Sciweavers

DAC
2004
ACM
15 years 1 months ago
AMUSE: a minimally-unsatisfiable subformula extractor
Yoonna Oh, Maher N. Mneimneh, Zaher S. Andraus, Ka...