Must preorder in non-deterministic untyped lambda-calculus (1992)

by U de’Liguoro, A Piperno
Venue:in: 17th CAAP