Monodic Temporal Resolution.

Anatoli Degtyarev, Michael Fisher, Boris Konev

Browse the full CADE paper archive.