Citation: R. Sekar et Iv. Ramakrishnan, FAST STRICTNESS ANALYSIS BASED ON DEMAND PROPAGATION, ACM transactions on programming languages and systems, 17(6), 1995, pp. 896-937
Citation: Rc. Sekar et Iv. Ramakrishnan, PROGRAMMING IN EQUATIONAL LOGIC - BEYOND STRONG SEQUENTIALITY, Information and computation, 104(1), 1993, pp. 78-109