P. Braffort
发表
J. Shepherdson,
P. Braffort,
D. Hirschberg,
1965
.
P. Braffort,
A. Taroni,
M. Surdin,
1966,
Nature.