Zhang X, Grastien A, Scala E. Computing Superior Counter-Examples for Conformant Planning. AAAI [Internet]. 2020Apr.3 [cited 2024Apr.24];34(06):10017-24. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/6558