BROVERMAN@cs.umass.EDU ("Carol Ann, Tower220, 5-0609") (10/19/88)
Can someone tell me the original source of the terms "codesignation," "possible codesignation," and "necessary codesignation" (equiv. to unification)? My source is Chapman's AI Journal paper on "Planning Using Conjunctive Goals," but I am interested in the original introduction of these terms and the precise difference between "unification" and "possible codesignation." -Carol Broverman (broverman@cs.umass.edu)