David A. Plaisted 406-424 2019 CADE https://doi.org/10.1007/978-3-030-29436-6_24 conf/cade/2019 db/conf/cade/cade2019.html#Plaisted19