Optimization of petroleum refinery configuration design with logic propositions - Khor, C. S.; Yeoh, X. Q. (2009)