Ordered Resolution with Straight Dismatching Constraints.

Andreas Teucke, Christoph Weidenbach

Browse the full CADE paper archive.