Charles Kellogg Robert A. Gargan Jr. William S. Mark James McGuire Michael Pontecorvo Jon Schlossberg Joseph W. Sullivan Michael R. Genesereth Narinder Singh The acquisition, verification, and explanation of design knowledge. 163-165 1989 108 SIGART Newsletter http://doi.acm.org/10.1145/63266.63297 db/journals/sigart/sigartn108.html#KelloggGMMPSSGS89