Publications of H. Christiansen
2005
HYPROLOG: A new logic programming language with assumptions and abduction (2005), in: Logic Programming(159--173) | and ,
HYPROLOG: A new logic programming language with assumptions and abduction (2005), in: Logic Programming(159--173) | and ,