Improving saturation-based bounded model checking
scientific article; zbMATH DE number 6626109