TY - CONF T1 - A preliminary excursion into step-logics T2 - Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems - Y1 - 1986 A1 - Drapkin,J. A1 - Perlis, Don JA - Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems - CY - Knoxville, Tennessee, United States UR - http://dl.acm.org/citation.cfm?id=12837 M3 - 10.1145/12808.12837 ER -