Miki Hermann Baris Sertkaya On the Complexity of Computing Generators of Closed Sets. 158-168 2008 ICFCA http://dx.doi.org/10.1007/978-3-540-78137-0_12 conf/icfca/2008 db/conf/icfca/icfca2008.html#HermannS08