@misc{W2612793397,
  author = {Krzysztof R. Apt},
  title = {Logic Programming},
  year = {1992}
}