Constraint Learning for Non-confluent Proof Search.

Michael Rawson, Clemens Eisenhofer, Laura Kovcs

Browse the full TABLEAUX paper archive.