Košta, Marek Automation of Logic, MPI for Informatics, Max Planck Society;
Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
Link (全文テキスト(全般))
Košta, M., Sturm, T., & Dolzmann, A. (2014). Better Answers to Real Questions. In P., Rümmer, & C. M., Wintersteiger (Eds.), 12th International Workshop on Satisfiablity Modulo Theories (pp. 69-69). Aachen: CEUR-WS.org.