@misc{W1672891595,
  author = {Michael Gelfond and Vladimir Lifschitz},
  title = {The stable model semantics for logic programming},
  year = {1988}
}