From Tiziano Vargiolu
Definition of strong and of pathwise unique solution, existence and uniqueness theorem.