Kin Cheong Sou Minimum equivalent precedence relation systems. 3299-3304 2015 CDC https://doi.org/10.1109/CDC.2015.7402715 conf/cdc/2015 db/conf/cdc/cdc2015.html#Sou15