Ferdinand Börner Basics of Galois Connections. 38-67 2008 Complexity of Constraints http://dx.doi.org/10.1007/978-3-540-92800-3_3 conf/dagstuhl/2008coc db/conf/dagstuhl/coc2008.html#Borner08