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