Fixed definition of difference of two multisets
Renamed theorems to become compatible with lncs
Added article for CiE
Fixed overfull boxes
Fixed texts inside images #50