An Output Instruction Based PLC Source Code Transformation Approach For Program Logic Simplification. IJCAI 2017, 41 (3).