Authors: RAMESH A MURRAY NV

Citation: A. Ramesh et Nv. Murray, AN APPLICATION OF NON-CLAUSAL DEDUCTION IN DIAGNOSIS, Expert systems with applications, 12(1), 1997, pp. 119-126

Authors: BECKER G MURRAY NV

Citation: G. Becker et Nv. Murray, EFFICIENT EXECUTION OF PROGRAMS WITH STATIC SEMANTICS, ACM SIGPLAN NOTICES, 30(4), 1995, pp. 51-60

Authors: MURRAY NV ROSENTHAL E

Citation: Nv. Murray et E. Rosenthal, ON THE RELATIVE MERITS OF PATH DISSOLUTION AND THE METHOD OF ANALYTICTABLEAUX, Theoretical computer science, 131(1), 1994, pp. 1-28

Authors: MURRAY NV ROSENTHAL E

Citation: Nv. Murray et E. Rosenthal, DISSOLUTION - MAKING PATHS VANISH, Journal of the Association for Computing Machinery, 40(3), 1993, pp. 504-535