@Article{bradixprz01,
  author    = {Stefan Brass and J\"{u}rgen Dix and Teodor Przymusinski},
  title     = {Super {L}ogic {P}rograms},
  journal   = {ACM Transactions of Computational Logic},
  year      = {2004},
  volume    = {5},
  number    = {1},
  pages     = {129--176}
}