Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case.

Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt

Browse the full TIME paper archive.