Authors: OMONDI AR PLAISTED DA

Citation: Ar. Omondi et Da. Plaisted, A MODEL FOR THE PARALLEL EXECUTION OF SUBSET-EQUATIONAL LANGUAGES, Future generations computer systems, 11(3), 1995, pp. 295-320

Authors: LEE SJ PLAISTED DA

Citation: Sj. Lee et Da. Plaisted, PROBLEM-SOLVING BY SEARCHING FOR MODELS WITH A THEOREM PROVER, Artificial intelligence, 69(1-2), 1994, pp. 205-233

Authors: CHADHA R PLAISTED DA

Citation: R. Chadha et Da. Plaisted, ON THE MECHANICAL DERIVATION OF LOOP INVARIANTS, Journal of symbolic computation, 15(5-6), 1993, pp. 705-744