BUILD: A Tool for Maintaining Consistency in Modular Systems (1985)

by R E Robbins
Venue:MIT AI TR 874, MIT AI Laboratory