Automated Strategy Invention for Confluence of Term Rewrite Systems.

Liao Zhang, Fabian Mitterwallner, Jan Jakubuv, Cezary Kaliszyk

Browse the full IJCAI paper archive.