The logic of aliasing (1981)

by R Cartwright, D Oppen
Venue:Acta Inf