Co-Logic Programming: Extending Logic Programming with Coinduction.

Luke Simon, Ajay Bansal, Ajay Mallya, Gopal Gupta

Browse the full ICALP paper archive.