Michael J. Maher Heyting Domains for Constraint Abduction. 9-18 2006 conf/ausai/2006 Australian Conference on Artificial Intelligence http://dx.doi.org/10.1007/11941439_5 db/conf/ausai/ausai2006.html#Maher06