Sebastian Rudolph Acquiring Generalized Domain-Range Restrictions. 32-45 2008 ICFCA http://dx.doi.org/10.1007/978-3-540-78137-0_3 conf/icfca/2008 db/conf/icfca/icfca2008.html#Rudolph08