We show that Artin groups of finite type satisfy a quadratic isoperimetric inequality. Moreover we describe an explicit algorithm to solve the word problem in quadratic time. Journal Information This ...