Must Preorder in Non-Deterministic Untyped λ-calculus (1992)

by U. de'Liguoro, A. Piperno
Venue:IN CAAP '92, VOLUME 581 OF LNCS