Urbonas, M, Bundy, A, Casanova, J & Li, X 2020, The Use of Max-Sat for Optimal Choice of Automated Theory Repairs . in M Bramer & R Ellis (eds), Artificial Intelligence XXXVII (SGAI 2020) . Lecture Notes in Computer Science, vol. 12498, Lecture Notes in Artificial Intelligence, vol. 12498, pp. 49-63, Fortieth SGAI International Conference on Artificial Intelligence, Cambridge, United Kingdom, 8/12/20 . https://doi.org/10.1007/978-3-030-63799-6_4