This thesis studies the theory and applications of recison maintenance from a logical perspective. First a series of exam ples introduces the concepts, structures and techniques of reason m aintenance. T he exam ples ...