Teucke, Andreas Automation of Logic, MPI for Informatics, Max Planck Society;
Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
arXiv:1703.02837.pdf (Preprint), 305KB
Teucke, A., & Weidenbach, C. (2017). Decidability of the Monadic Shallow Linear First-Order Fragment with Straight Dismatching Constraints. Retrieved from http://arxiv.org/abs/1703.02837.