Research in Term Rewriting Systems and Automated Deduction,
{'Code': '05010200', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'CCF', 'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'S. Kamal Abdali', 'PO_EMAI': None, 'PO_PHON': None}
It is proposed to investigate term rewriting systems and mechanical             theoremproving strategies.  The topics to be studied include:                   polynomial timealgorithms for reducing ground term rewriting systems to         canonical form, andtheir application to the rigid E.unification                 problem; semantics and confluencetests for conditional term rewriting           systems; and the use of rewriting andunification in programming                 languages.  The research has potential applicationsin program                   verification and automated reasoning.
{'FirstName': 'David', 'LastName': 'Plaisted', 'PI_MID_INIT': 'A', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'David A Plaisted', 'EmailAddress': 'plaisted@cs.unc.edu', 'NSF_ID': '000138223', 'StartDate': '12/15/1988', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'University of North Carolina at Chapel Hill', 'CityName': 'CHAPEL HILL', 'ZipCode': '275995023', 'PhoneNumber': '9199663411', 'StreetAddress': '104 AIRPORT DR STE 2200', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'North Carolina', 'StateCode': 'NC', 'CONGRESSDISTRICT': '04', 'CONGRESS_DISTRICT_ORG': 'NC04', 'ORG_UEI_NUM': 'D3LHU66KBLD5', 'ORG_LGL_BUS_NAME': 'UNIVERSITY OF NORTH CAROLINA AT CHAPEL HILL', 'ORG_PRNT_UEI_NUM': 'N8DMK1K4C2K5'}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
[{'Code': '2865', 'Text': 'NUMERIC, SYMBOLIC & GEO COMPUT'}, {'Code': '6835', 'Text': 'KNOWLEDGE & DATABASE SYSTEMS'}, {'Code': '6856', 'Text': 'ARTIFICIAL INTELL & COGNIT SCI'}]
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1988&All=true', 'xml': '8802282.xml'}