Towards a Unified Ordering for Superposition-Based Automated Reasoning

Jan Jakubuv, Cezary Kaliszyk
6th International Conference on Mathematical Software, Lecture Notes in Computer Science 10931, pp. 245 – 254, 2018.

abstract   BibTeX     doi:10.1007/978-3-319-96418-8_29  
Standard Springer LNCS Copyright