Tran, Duc-Khanh Automation of Logic, MPI for Informatics, Max Planck Society;
Tran, D.-K. (2007). Conception de Procedures de Decision par Combinaison et Saturation. PhD Thesis, Université Henri Poincaré, Nancy.