@article{Ash:IJAC:1991,
    Author = {Ash, C. J.},
    Journal = {Internat. J. Algebra Comput.},
    Number = {197},
    Pages = {127--146},
    Title = {Inevitable graphs: a proof of the type II conjecture and some related decision procedures},
    Volume = {1},
    Year = {1991},
    bdsk-url-1 = {http://dx.doi.org/10.1142/S0218196791000079},
    date-added = {2016-01-29 17:46:15 +0000},
    date-modified = {2016-01-29 17:48:47 +0000},
    doi = {10.1142/S0218196791000079}
}

@article{Ash:IJAC:1991, Author = {Ash, C. J.}, Journal = {Internat. J. Algebra Comput.}, Number = {197}, Pages = {127--146}, Title = {Inevitable graphs: a proof of the type II conjecture and some related decision procedures}, Volume = {1}, Year = {1991}, bdsk-url-1 = {http://dx.doi.org/10.1142/S0218196791000079}, date-added = {2016-01-29 17:46:15 +0000}, date-modified = {2016-01-29 17:48:47 +0000}, doi = {10.1142/S0218196791000079} }