Paper: Problem formalization section updated
Authored by: zoltanmann 2015-05-11
Parent: [r12]
Child: [r14]