Solutions to λ-Term Equations Under a Mixed Prefix, submitted (1989)

by D Miller