Ghosh, A.; Qin, S.; Lee, J.; Wang, G.-N. An Output Instruction Based PLC Source Code Transformation Approach For Program Logic Simplification. IJCAI 2017, 41.