@InProceedings{Kutsia97LLC,
  author =       "Temur Kutsia",
  title =        "Semantics and Proof Theory of Disjunctive Logic Programs with Implicative Goals",
  editor =       "Robin Cooper and Thomas Gamkrelidze",
  booktitle =    "Proceedings of the 2th International International Symposium on Language, Logic and Computation ({LLC'97})",
  address =      "Tbilisi, Georgia",
  month =        "15--20 " # sep,
  year =         "1997",
  pages =        "160--178",
  publisher =    "Tbilisi University Press",
}