Conforming the LNCS guidelines by introducing narrow font in boxes
Added LNCS bibliography style
Fixed lncs bibliography
Added overview of the proof to the paper
Added something to the conclusion
Various minor fixes