  We prove an effective integrability criterion for differential-algebraic
Pfaffian systems leading to a decision method of consistency with a triple
exponential complexity bound. As a byproduct, we obtain an upper bound for the
order of differentiations in the differential Nullstellensatz for these
systems.
