R. Hindley
发表
G. Longo,
R. Hindley,
G. Longo,
1980,
Math. Log. Q..
R. Hindley,
R. Hindley,
1978
.
R. Hindley,
R. Hindley,
1977
.