Computer based proofs by induction in graph theory - A house of cards?
scientific article; zbMATH DE number 475034
scientific article