Negative Hyper-Resolution for Proving Statements Containing Transitive Relations.

Tams Gergely, Konstantin Vershinin

Browse the full IJCAI paper archive.