MADMAX: a DSL for explanatory decision making.

Martin Erwig, Prashant Kumar

Browse the full GPCE paper archive.