HYPROLOG: A new logic programming language with assumptions and abduction. (2005)

by Henning Christiansen, Veronica Dahl
Venue:In Maurizio Gabbrielli and Gopal Gupta,