Ahmed Bhayat, Giles Reger. Set of Support for Higher-Order Reasoning. In Boris Konev, Josef Urban, Philipp Rümmer, editors, Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), Oxford, UK, July 19th, 2018. Volume 2162 of CEUR Workshop Proceedings, pages 2-16, CEUR-WS.org, 2018. [doi]
Abstract is missing.