Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case Boris Konev, Anatoli Dagtyarev, Clare Dixon, Michael Fisher, and Ullrich Hustadt   View Paper (PDF)   Return to Research Papers ©2004 Association for Computing Machinery