TY - JOUR T1 - How to (plan to) meet a deadline between now and then JF - Journal of Logic and Computation Y1 - 1997 A1 - Nirkhe,M. A1 - Kraus,S. A1 - Miller,M. A1 - Perlis, Don VL - 7 CP - 1 ER -