Towards a Unified Ordering for Superposition-based Automated Reasoning

Jakubův, J., Kaliszyk, C.

JAKUBŮV, J. and C. KALISZYK. Towards a Unified Ordering for Superposition-based Automated Reasoning. In: Mathematical Software – ICMS 2018. International Congress of Mathematical Software 2018, South Bend, 2018-07-24/2018-07-27. Basel: Springer, 2018. p. 245-254. LNCS. vol. 10931. ISSN 0302-9743. ISBN 978-3-319-96417-1. DOI 10.1007/978-3-319-96418-8_29.

URL: https://link.springer.com/chapter/10.1007/978-3-319-96418-8_29