A preliminary excursion into step-logics (1986)

by J Drapkin, D Perlis
Venue:In Proceedings SIGART International Symposium on Methodologies for Intelligent Systems