Scalable algorithms for abduction via enumerative syntax-guided synthesis
scientific article; zbMATH DE number 7614511
scientific article