Originally, these solitons were constructed by numerical means. Existence proofs using rigorous methods were given later in [
164
], [
163
], [
162
] and [
12
].