Authors: Dershowitz, N Lindenstrauss, N Sagiv, Y Serebrenik, A

Citation: N. Dershowitz et al., A general framework for automatic termination analysis of logic programs, APPL ALG EN, 12(1-2), 2001, pp. 117-156

Authors: Lindenstrauss, N Dershowitz, N

Citation: N. Lindenstrauss et N. Dershowitz, Abstract and-parallel machines, COMPUT A IN, 19(5), 2000, pp. 475-493