Certifying proofs for SAT-based model checking
scientific article; zbMATH DE number 7440321