Coinductive Logic Programming and Its Applications. - Gopal Gupta 001; Ajay Bansal; Richard Min; Luke Simon; Ajay Mallya (ICLP, 2007)

Coinductive Logic Programming and its Application to Boolean SAT. - Richard Min; Gopal Gupta 001 (FLAIRS, 2009)

Towards Predicate Answer Set Programming via Coinductive Logic Programming. - Richard Min; Ajay Bansal; Gopal Gupta 001 (AIAI, 2009)

Coinductive Logic Programming with Negation. - Richard Min; Gopal Gupta 001 (LOPSTR, 2009)

Infinite Computation, Co-induction and Computational Logic. - Gopal Gupta 001; Neda Saeedloei; Brian W. DeVries; Richard Min; Kyle Marple; Feliks Kluzniak (CALCO, 2011)

Goal-directed execution of answer set programs. - Kyle Marple; Ajay Bansal; Richard Min; Gopal Gupta 001 (PPDP, 2012)