%0 Conference Paper %B Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems - %D 1986 %T A preliminary excursion into step-logics %A Drapkin,J. %A Perlis, Don %B Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems - %C Knoxville, Tennessee, United States %P 262 - 269 %8 1986/// %G eng %U http://dl.acm.org/citation.cfm?id=12837 %R 10.1145/12808.12837