Automatic Deduction of Induced Subgraphs of Some Infinite Families of Graphs

Natalia de Ridder, H. N. de Ridder. Automatic Deduction of Induced Subgraphs of Some Infinite Families of Graphs. Electronic Notes in Discrete Mathematics, 27:19-20, 2006. [doi]

Abstract

Abstract is missing.