The layered architecture of a system for reasoning about programs (1985)

by C Rich
Venue:In Proc. 9th Int. Joint Conf. Artificial Intelligence