Henning Christiansen Alternative Reasoning in a Metaprogramming System. 175-186 1995 Deductive Databases / Abduction in Deductive Databases db/conf/deductive/deductive95.html#Christiansen95