  A recent theorem of Dobrinskaya states that the K(\pi,1)-conjecture holds for
an Artin group G if and only if the canonical map from BM to BG is a homotopy
equivalence, where M denotes the Artin monoid associated to G. The aim of this
paper is to give an alternative proof by means of discrete Morse theory and
abstract homotopy theory. Moreover, we exhibit a new model for the classifying
space of an Artin monoid, in the spirit of Charney, Meier and Whittlesey, and a
small chain complex for computing its monoid homology, similar to the one of
Squier.
