Computer aided reasoning (1985)

by A Trybulec, H A Blair
Venue:Proceedings of the Conference on Logic of Programs, volume 193 of LNCS