@article{19814,
  author       = {{Flögel, A. and Kleine Büning, H. and Lettmann, Theodor}},
  issn         = {{0988-3754}},
  journal      = {{RAIRO - Theoretical Informatics and Applications}},
  pages        = {{327--340}},
  title        = {{{On the restricted equivalence for subclasses of propositional logic}}},
  doi          = {{10.1051/ita/1993270403271}},
  year         = {{1993}},
}

@article{16743,
  author       = {{Just, Bettina and Meyer auf der Heide, Friedhelm and Wigderson, Avi}},
  issn         = {{0988-3754}},
  journal      = {{RAIRO - Theoretical Informatics and Applications}},
  pages        = {{101--111}},
  title        = {{{On computations with integer division}}},
  doi          = {{10.1051/ita/1989230101011}},
  year         = {{1989}},
}