Optimization techniques for Craig interpolant compaction in unbounded model checking
scientific article; zbMATH DE number 6502610