#Number TR-PDS-2001-002 #Title Computation Slicing: Techniques and Theory #Author Neeraj Mittal Vijay K. Garg #Abstract The technical report TR-PDS-2001-002 has been superseded by the technical report TR-PDS-2001-004.