Patrick Liddell. Partition syntaxique d'un système logique décrit en CASSANDRE. PhD thesis, Joseph Fourier University, Grenoble, France, 1970. [doi]
@phdthesis{hal-348,
title = {Partition syntaxique d'un système logique décrit en CASSANDRE},
author = {Patrick Liddell},
year = {1970},
url = {https://tel.archives-ouvertes.fr/tel-00009474},
researchr = {https://researchr.org/publication/hal-348},
cites = {0},
citedby = {0},
school = {Joseph Fourier University, Grenoble, France},
}