Fixed point theorems for multi-valued contractions in distance spaces