TY  - DATA
AU  - M. Laudet
AU  -  D. Lacombe
AU  -  L. Nolin
AU  -  M. Schützenberger
TI  - Symposium on Automatic Demonstration
T2  - Lecture Notes in Mathematics
SN  - 9783540362623
PY  - 1970///
CY  - Heidelberg
PB  - Springer Berlin
KW  - Mathematics and Statistics
UR  - https://doi.org/10.1007/BFb0060620
ER  -