@TechReport{      Simon06co-logicprogramming:,
  Author        = "Simon, Luke and Bansal, Ajay and Mallya, Ajay and Gupta, Gopal",
  date-added    = "2012-12-18 00:13:26 +0000",
  date-modified = "2012-12-18 00:13:26 +0000",
  Title         = "Co-Logic Programming: Extending Logic Programming with Coinduction",
  Year          = "2006",
  File          = "Co-Logic Programming Extending Logic Programming with Coinduction - Simon, Bansal, Mallya, Gupta (0) (0) - a - a - z.pdf"
}

@TechReport{ Simon06co-logicprogramming:, Author = "Simon, Luke and Bansal, Ajay and Mallya, Ajay and Gupta, Gopal", date-added = "2012-12-18 00:13:26 +0000", date-modified = "2012-12-18 00:13:26 +0000", Title = "Co-Logic Programming: Extending Logic Programming with Coinduction", Year = "2006", File = "Co-Logic Programming Extending Logic Programming with Coinduction - Simon, Bansal, Mallya, Gupta (0) (0) - a - a - z.pdf" }