François Bry Upside-down deduction. 91- 1990 conf/bda/1990 BDA db/conf/bda/bda1990.html#Bry90