Confluence of Logically Constrained Rewrite Systems Revisited.

Jonas Schpf, Fabian Mitterwallner, Aart Middeldorp

Browse the full IJCAR paper archive.