Inevitable graphs: a proof of the type II conjecture and some related decision procedures (1991)

by C J Ash
Venue:Internat. J. Algebra Comput