Flögel, A., H. Kleine Büning, and Theodor Lettmann. “On the Restricted Equivalence for Subclasses of Propositional Logic.”https://doi.org/10.1051/ita/1993270403271__RAIRO - Theoretical Informatics and Applications, 1993, 327–40.https://doi.org/10.1051/ita/1993270403271 .
LibreCat: /record/19814
DOI: 10.1051/ita/1993270403271

Just, Bettina, Friedhelm Meyer auf der Heide, and Avi Wigderson. “On Computations with Integer Division.”https://doi.org/10.1051/ita/1989230101011__RAIRO - Theoretical Informatics and Applications, 1989, 101–11.https://doi.org/10.1051/ita/1989230101011 .
LibreCat: /record/16743
DOI: 10.1051/ita/1989230101011