Tran, Duc-Khanh Automation of Logic, MPI for Informatics, Max Planck Society;
Ranise, S., Ringeissen, C., & Tran, D.-K. (2007). Combining Proof Producing Decision Procedures. In F. Wolter (Ed.), Frontiers of Combining Systems: 6th International Symposium, FroCoS 2007 (pp. 237-251). Germany: Springer.