Compiling integrity checking into update procedures (1991)

by M Wallace
Venue:12th Int. Conf. on Artificial Intelligence