@Article{Kutsia96AMI,
  author  =     "Temur Kutsia",
  title   =     "On Semantics and Proof Theory of Disjunctive Logic Programs with Classical Negation",
  journal =     "Applied Mathematics and Informatics",
  number  =     "1",
  volume  =     "1",
  pages   =     "96--110",
  year    =     "1996",
  publisher =   "Tbilisi University Press",
  address =     "Tbilisi, Georgia",
}