Košta, Marek Automation of Logic, MPI for Informatics, Max Planck Society;
Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
arXiv:1501.05826.pdf (Preprint), 469KB
Košta, M., & Sturm, T. (2015). A Generalized Framework for Virtual Substitution. Retrieved from http://arxiv.org/abs/1501.05826.