Laurent Juban. Sur les problèmes de complexité en déduction automatique : base de Hilbert, modèles uniques et minimaux. PhD thesis, Henri Poincaré University, Nancy, France, 1999. [doi]
@phdthesis{hal-16430,
title = {Sur les problèmes de complexité en déduction automatique : base de Hilbert, modèles uniques et minimaux},
author = {Laurent Juban},
year = {1999},
url = {https://tel.archives-ouvertes.fr/tel-01747275},
researchr = {https://researchr.org/publication/hal-16430},
cites = {0},
citedby = {0},
school = {Henri Poincaré University, Nancy, France},
}