Coinductive Logic Programming with Negation.

Richard Min, Gopal Gupta

Browse the full LOPSTR paper archive.