ℒ-reduction computation revisited

Kaoru Fujioka, Fumiya Okubo, Takashi Yokomori. ℒ-reduction computation revisited. Acta Informatica, 59(4):409-426, 2022. [doi]

Abstract

Abstract is missing.