An introduction to algorithmic logic. Metamathematical investigations in the theory of programs L. Banachowski, A. Kreczmar, G. Mirkowska, H. Rasiowa, A. Sławicki (1977) Banach Center Publications
An upper bound for the shortest hamiltonian path in the symmetric euclidean case Ioan Tomescu (1983) RAIRO - Operations Research - Recherche Opérationnelle
Application du théorème de Sylvester à la localisation des valeurs propres de A X = λ B X dans le cas symétrique Yves Haugazeau (1980) ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique