Reducing the Memory Complexity of Type-Inference Algorithms. - David Naccache; Alexei Tchoulkine; Christophe Tymen; Elena Trichina (ICICS, 2002)

Trading-Off Type-Inference Memory Complexity Against Communication. - Konstantin Hyppönen; David Naccache; Elena Trichina; Alexei Tchoulkine (IACR Cryptol. ePrint Arch., 2003)