%%====================================================================== %% WARNING: Do NOT edit this file. It was produced automatically %% with the UNIX pipeline %% %% biblex xxx.bib | \ %% gawk -f keywords.awk | \ %% egrep 'entrytype$' | \ %% gawk -f fmtwords.awk >xxx.xwx %% %% by beebe@gamma.math.utah.edu on Sat Nov 23 12:15:54 MST 2019 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{$2$}{% Proskurowski:1979:MDC,% Zaki:1981:QCH,% Zaki:1983:CST% }. \NAMECITE{$3$}{% Zaki:1981:QCH,% Zaki:1983:CST% }. \NAMECITE{${B}$}{% Voukalis:1984:FRM% }. \NAMECITE{$d$}{% Dandamudi:1985:EPC% }. \NAMECITE{$k$}{% Dandamudi:1985:EPC% }. \NAMECITE{$m$}{% Ibaraki:1978:DSB% }. \NAMECITE{$N$}{% Tseng:1985:PSS% }. \NAMECITE{$\omega $}{% H:1983:LWS% }. \NAMECITE{-languages}{% H:1983:LWS% }. \NAMECITE{-trees}{% Proskurowski:1979:MDC% }. \NAMECITE{{0L}}{% Rozenberg:1973:ETL% }. \NAMECITE{{0L-systems}}{% Rozenberg:1973:ETL% }. \NAMECITE{{1}}{% Busam:1972:DSP,% Srivastava:1977:GMQ,% Wilkes:1972:ALA% }. \NAMECITE{{2}}{% Inselberg:1972:TLS% }. \NAMECITE{{2-SLIDS}}{% Inselberg:1972:TLS% }. \NAMECITE{{360}}{% Bowdon:1974:STP% }. \NAMECITE{{360/75}}{% Bowdon:1974:STP% }. \NAMECITE{{68}}{% Cohen:1974:NTD% }. \NAMECITE{{75}}{% Bowdon:1974:STP% }. \NAMECITE{abduction}{% Brody:1982:PUA% }. \NAMECITE{abstract}{% Ellis:1978:ASA,% Veloso:1982:MSA% }. \NAMECITE{acceptor}{% Edmundson:1979:NPC% }. \NAMECITE{acceptors}{% Santos:1974:OAL% }. \NAMECITE{accounting}{% Schinnar:1979:GIS% }. \NAMECITE{{Ada}}{% Biswas:1985:ASV% }. \NAMECITE{Adaptive}{% Lemme:1980:AQA,% Ang:1975:HAP,% Kameda:1975:AAW% }. \NAMECITE{adders}{% Yu:1984:PMN% }. \NAMECITE{addition}{% Thayse:1979:EPP% }. \NAMECITE{addressed}{% Lipovski:1972:DSC% }. \NAMECITE{addressing}{% Biswas:1985:ASV% }. \NAMECITE{{AE1}}{% Hong:1985:AEM% }. \NAMECITE{aided}{% Brzakovic:1985:ACD,% Ignizio:1974:HAS,% Sarda:1981:CAD% }. \NAMECITE{{AL}}{% Wilkes:1972:ALA% }. \NAMECITE{{AL-1}}{% Wilkes:1972:ALA% }. \NAMECITE{algebra}{% Hughes:1977:AFA,% Muzio:1977:POS,% Stark:1984:GPC,% Stoutemyer:1979:CAC% }. \NAMECITE{algebraic}{% Cannon:1976:ATC,% Ras:1982:AAI,% W:1982:AAI% }. \NAMECITE{{ALGOL}}{% Cohen:1974:NTD,% Terrenoire:1972:EAI% }. \NAMECITE{{ALGOL-68}}{% Cohen:1974:NTD% }. \NAMECITE{algorithm}{% Dhamdhere:1980:CAS,% Elmagarmid:1985:PDD,% Er:1984:IAC,% Gonzalez:1976:AIT,% Johnston:1976:CGB,% Lee:1982:EAF,% Lee:1984:OTM,% Maruyama:1977:GPA,% Osteen:1973:CAB,% Shapiro:1981:NLS,% Sheela:1979:ONA,% Starks:1977:AOS% }. \NAMECITE{Algorithmic}{% Al-Fedaghi:1979:AAC% }. \NAMECITE{Algorithms}{% Lindstrom:1974:ALS,% Yang:1980:AFD,% Yang:1984:AIG,% Akritas:1983:CEA,% Hughes:1972:DUA,% Ibaraki:1976:TCS,% Ibaraki:1978:DSB,% Ignizio:1974:HAS,% Lee:1980:TAC,% Lemme:1980:AQA,% Simon:1972:APN,% Terrenoire:1972:EAI% }. \NAMECITE{allocation}{% Chang:1982:FAD,% Dutta:1985:MMC% }. \NAMECITE{alphanumeric}{% Dasarathy:1978:CCH% }. \NAMECITE{Analysis}{% Ellis:1978:ASA,% Badii:1983:AMP,% Bhargava:1981:CAR,% Hofri:1978:GAM,% Iscovici:1977:FAM,% Ishida:1985:ASD,% Ishida:1985:ASM,% Kameda:1975:AAW,% Lin:1982:CPT,% McCormick:1975:DTM,% Thomason:1976:BDT% }. \NAMECITE{analyzers}{% Mishelevich:1972:CSA% }. \NAMECITE{analyzing}{% Dasarathy:1978:CCH% }. \NAMECITE{answer}{% Minker:1977:NAE% }. \NAMECITE{answering}{% Minker:1974:MIR% }. \NAMECITE{apical}{% Subramanian:1985:NRA,% Subramanian:1985:NRC% }. \NAMECITE{apical-growth}{% Subramanian:1985:NRA,% Subramanian:1985:NRC% }. \NAMECITE{{APL}}{% Katzan:1972:AAR% }. \NAMECITE{applicability}{% Weyuker:1979:APS% }. \NAMECITE{Application}{% Bradley:1983:AAR,% Bradley:1983:ASA,% Kandel:1974:AFL,% Babu:1973:APD,% DiasVelasco:1977:AFL,% Epstein:1979:STE,% Jain:1973:EWF,% Payne:1973:PSL,% Stallings:1976:ACB,% Tangwongsan:1979:ALR% }. \NAMECITE{Applications}{% Bowie:1976:AGT,% Hughes:1977:AFA,% Ankeney:1983:CTA,% Skavaril:1976:BIO% }. \NAMECITE{applied}{% Ivakhnenko:1973:PCS,% Mateescu:1974:IPM% }. \NAMECITE{approach}{% Al-Fedaghi:1979:AAC,% Biswas:1985:ASV,% Brzakovic:1985:ACD,% Harnett:1985:OTR,% Katzan:1972:AAR,% Lee:1983:SSA,% Ras:1982:AAI,% Singh:1978:PAT,% Tou:1980:AUG,% Townley:1980:PAR,% W:1982:AAI,% Yang:1984:AIG% }. \NAMECITE{Approximate}{% Yager:1981:ARP,% Hong:1985:AEM% }. \NAMECITE{Approximation}{% Badii:1983:AMP% }. \NAMECITE{arbitrarily}{% Rosenberg:1975:SAM% }. \NAMECITE{arbitrary}{% Boyles:1981:EAT,% Rosenberg:1975:SAM% }. \NAMECITE{Architectural}{% Biswas:1985:ASV% }. \NAMECITE{architecture}{% Giloi:1982:CRH% }. \NAMECITE{archivable}{% Kostovetsky:1984:FDT% }. \NAMECITE{arrays}{% Rosenberg:1975:SAM% }. \NAMECITE{assertions}{% Bhargava:1981:OSI% }. \NAMECITE{assignment}{% Yue:1975:NHA% }. \NAMECITE{associated}{% Hughes:1972:DUA,% Jordan:1977:NLU% }. \NAMECITE{associations}{% Bradley:1983:AAR,% Bradley:1983:ASA% }. \NAMECITE{Associative}{% Wilkes:1972:ATD,% Wilkes:1972:ALA% }. \NAMECITE{attribute}{% Bochmann:1979:SEC,% Bradley:1983:AAR,% Bradley:1983:ASA,% Burke:1973:BFA,% Niemi:1984:SDR% }. \NAMECITE{attribute-oriented}{% Burke:1973:BFA% }. \NAMECITE{attribute-relation}{% Bradley:1983:AAR,% Bradley:1983:ASA% }. \NAMECITE{auditing}{% Hassen:1982:ESD% }. \NAMECITE{authorization}{% Minsky:1978:OSA% }. \NAMECITE{automata}{% DalCin:1975:FAT,% DalCin:1975:MTF,% Fukuda:1984:ITA,% H:1985:SMC,% Jurgensen:1985:SMC,% Lee:1983:SSA,% Tanatsugu:1977:CSD,% Yang:1980:AFD,% Yang:1984:AIG,% Yeh:1975:POS% }. \NAMECITE{automated}{% Jain:1973:EWF% }. \NAMECITE{Automatic}{% Biermann:1978:AII,% Tou:1972:ARH,% Bohm:1972:CAT,% Bohm:1973:NCA,% Stoutemyer:1979:CAC% }. \NAMECITE{automaton}{% Hurson:1984:VDP% }. \NAMECITE{auxiliary}{% Rose:1975:FEA% }. \NAMECITE{availability}{% Thesen:1977:PAC% }. \NAMECITE{{AVL}}{% Zaki:1983:CST% }. \NAMECITE{backtracking}{% Stallings:1976:ACB% }. \NAMECITE{balance}{% Parks:1975:SMB% }. \NAMECITE{balance-of-variables}{% Parks:1975:SMB% }. \NAMECITE{balancing}{% Kameda:1975:AAW% }. \NAMECITE{base}{% Arora:1981:GNF,% Ealer:1973:DBO,% Hinomoto:1976:OFI,% Koh:1979:FMS,% Moyne:1977:SDB,% Wile:1972:IBE,% dosSantos:1981:CMD% }. \NAMECITE{based}{% Arora:1981:GNF,% Brunnstein:1973:SRI,% Gotlieb:1979:DSB,% Hooper:1985:BSL,% Jordan:1977:NLU,% Kobayashi:1981:EQB,% Minker:1977:NAE,% Mishelevich:1972:CSA,% Niemi:1984:SDR,% Osteen:1973:CAB,% Townley:1980:PAR,% Yu:1984:PMN% }. \NAMECITE{bases}{% Arora:1981:GID,% Niemi:1983:FRF% }. \NAMECITE{basic}{% Tseng:1985:PSS% }. \NAMECITE{{Baxter}}{% Hart:1980:FRB% }. \NAMECITE{{BCNF}}{% Jajodia:1983:EDW,% Jajodia:1983:ERD% }. \NAMECITE{{BD}}{% Dandamudi:1985:EPC% }. \NAMECITE{behavior}{% Jappinen:1981:SFR,% Shneiderman:1976:EEP,% Shneiderman:1979:SSI,% Srivastava:1977:GMQ% }. \NAMECITE{between}{% Maekawa:1976:DPB,% Maruyama:1972:PDI% }. \NAMECITE{Binary}{% Ottmann:1984:BST,% Skavaril:1976:BIO,% Stephenson:1980:MCB% }. \NAMECITE{biological}{% Skavaril:1976:BIO% }. \NAMECITE{bipartite}{% Gabow:1976:UEP,% Hart:1980:FRB% }. \NAMECITE{bit}{% Aalto:1977:DNU,% Wang:1975:DRU% }. \NAMECITE{Bitmaps}{% Burke:1973:BFA% }. \NAMECITE{block}{% Berry:1978:TRG,% Berry:1978:TRRa,% Berry:1978:TRRb,% Bhargava:1981:CAR,% DiSanto:1981:EIR% }. \NAMECITE{block-structured}{% Berry:1978:TRG,% Berry:1978:TRRa,% Berry:1978:TRRb,% DiSanto:1981:EIR% }. \NAMECITE{{Boolean}}{% Thomason:1976:BDT% }. \NAMECITE{both}{% Dasarathy:1976:SLE% }. \NAMECITE{bound}{% Bohm:1972:CAT,% Bohm:1973:NCA,% Ibaraki:1976:TCS,% Ibaraki:1978:DSB,% Lai:1974:RCT% }. \NAMECITE{boundaries}{% Landskov:1984:MCE% }. \NAMECITE{boundary}{% Tou:1979:ZTB% }. \NAMECITE{bounded}{% Salomon:1978:SGG% }. \NAMECITE{boxes}{% ORourke:1985:FME% }. \NAMECITE{{BPL}}{% Hooper:1985:BSL% }. \NAMECITE{branch}{% Ibaraki:1976:TCS,% Ibaraki:1978:DSB,% Lai:1974:RCT% }. \NAMECITE{branch-and-bound}{% Ibaraki:1976:TCS,% Ibaraki:1978:DSB,% Lai:1974:RCT% }. \NAMECITE{{British}}{% Parks:1975:SMB% }. \NAMECITE{{Bron}}{% Johnston:1976:CGB% }. \NAMECITE{{Bron-Kerbosch}}{% Johnston:1976:CGB% }. \NAMECITE{bubble}{% Zaki:1981:MBM% }. \NAMECITE{buffer}{% Srivastava:1977:GMQ% }. \NAMECITE{calculi}{% Kobayashi:1981:EQB% }. \NAMECITE{calculus}{% Stoutemyer:1979:CAC% }. \NAMECITE{canonical}{% Cannon:1979:NCL% }. \NAMECITE{capabilities}{% Inselberg:1972:TLS,% Schwind:1984:EDC% }. \NAMECITE{capability}{% Wells:1972:UDS% }. \NAMECITE{causality}{% Findler:1973:PTR% }. \NAMECITE{Cellular}{% Ankeney:1983:CTA,% Edmundson:1979:NPC,% Lipovski:1972:DSC% }. \NAMECITE{{CFPG}}{% Tai:1982:ICC% }. \NAMECITE{{CH}}{% Kou:1984:CT% }. \NAMECITE{chain}{% Murty:1981:HCP,% Xu:1982:PSC% }. \NAMECITE{chain-like}{% Murty:1981:HCP% }. \NAMECITE{characteristics}{% Dasarathy:1976:SLE,% Tanatsugu:1977:CSD% }. \NAMECITE{Characterizations}{% Veloso:1980:CRP,% Salomon:1978:SGG% }. \NAMECITE{Characterizing}{% Furtado:1976:CSD% }. \NAMECITE{characters}{% Dasarathy:1978:CCH,% Tou:1972:ARH% }. \NAMECITE{check}{% Lai:1974:RCT% }. \NAMECITE{Checking}{% Atallah:1984:CSP% }. \NAMECITE{{CHITRA}}{% Dasarathy:1978:CCH% }. \NAMECITE{choice}{% Stonebraker:1974:CPI% }. \NAMECITE{circles}{% Toussaint:1983:CLE% }. \NAMECITE{circuits}{% Hughes:1977:AFA,% Singh:1978:PAT% }. \NAMECITE{Circular}{% Lassez:1976:CCS% }. \NAMECITE{class}{% Hurson:1985:CSM,% Kodratoff:1979:CFS,% Tai:1982:ICC% }. \NAMECITE{classes}{% Brody:1982:PUA,% Dorrough:1976:PCT,% Ehrenfeucht:1975:SCV,% Ottman:1982:CID,% Ottmann:1982:CID,% Starks:1977:AOS% }. \NAMECITE{classification}{% Maekawa:1980:CPC,% Persoon:1975:SCS,% Yager:1981:ARP% }. \NAMECITE{clique}{% Osteen:1973:CAB% }. \NAMECITE{clique-detection}{% Osteen:1973:CAB% }. \NAMECITE{Cliques}{% Johnston:1976:CGB% }. \NAMECITE{closure}{% Lee:1982:EAF% }. \NAMECITE{cluster}{% Bezdek:1980:SPC,% Tou:1979:DDO% }. \NAMECITE{cluster-seeking}{% Tou:1979:DDO% }. \NAMECITE{clustering}{% Diday:1973:DCM,% Murty:1981:HCP,% Nishihara:1974:FTQ% }. \NAMECITE{clusters}{% Diday:1973:DCM,% Murty:1981:HCP% }. \NAMECITE{code}{% Chang:1984:CHC,% Dhamdhere:1980:CAS,% Hunter:1972:DRC% }. \NAMECITE{codes}{% Lassez:1976:CCS,% Veloso:1980:CRP,% Voukalis:1982:RCO,% Voukalis:1984:FRM% }. \NAMECITE{coexistence}{% Findler:1973:PTR% }. \NAMECITE{cognitive}{% Biss:1972:DSC,% Dasarathy:1978:CCH% }. \NAMECITE{collection}{% Berry:1978:TRG% }. \NAMECITE{color}{% Gabow:1976:UEP% }. \NAMECITE{combinational}{% Hughes:1977:AFA,% Kandel:1974:AFL% }. \NAMECITE{combinatory}{% Stark:1984:GPC% }. \NAMECITE{combined}{% Hooper:1983:GCG,% Stonebraker:1974:CPI% }. \NAMECITE{communication}{% Moyne:1977:SDB,% Srivastava:1977:GMQ,% Treu:1975:OSD% }. \NAMECITE{Compacting}{% Ting:1977:CHT% }. \NAMECITE{compaction}{% Landskov:1984:MCE% }. \NAMECITE{comparative}{% Zaki:1983:CST% }. \NAMECITE{Comparing}{% Remy:1982:CDT% }. \NAMECITE{comparison}{% Dandamudi:1985:EPC,% Ottman:1982:CID,% Ottmann:1982:CID,% Ottmann:1984:BST% }. \NAMECITE{comparisons}{% Ibaraki:1976:TCS% }. \NAMECITE{compiler}{% Busam:1972:DSP% }. \NAMECITE{complete}{% Hart:1980:FRB% }. \NAMECITE{complex}{% Ivakhnenko:1973:PCS% }. \NAMECITE{complexities}{% Ehrenfeucht:1975:SCV,% Hwang:1975:SSC% }. \NAMECITE{Complexity}{% Charnes:1980:CCS,% Toussaint:1984:CCU,% Ivakhnenko:1979:DMO,% Motteler:1985:CMD,% Santoro:1984:MCD% }. \NAMECITE{composite}{% Dhamdhere:1980:CAS,% Hart:1980:FRB% }. \NAMECITE{Composition}{% Vere:1979:CRP% }. \NAMECITE{computability}{% Charnes:1980:CCS% }. \NAMECITE{computational}{% Edmundson:1977:SIM% }. \NAMECITE{Computationally}{% Akritas:1983:CEA% }. \NAMECITE{Computer}{% Bouckaert:1974:CDGa,% Bouckaert:1974:CDGb,% Bouckaert:1977:CDG,% Dujmovic:1980:CSC,% Mishelevich:1972:CSA,% Sarda:1981:CAD,% Stoutemyer:1979:CAC,% Bowie:1976:AGT,% Brunnstein:1973:SRI,% Brzakovic:1985:ACD,% Ellis:1978:ASA,% Fung:1976:ESD,% Mateescu:1974:IPM,% Minsky:1978:OSA,% Moyne:1975:RCS,% Srivastava:1977:GMQ,% Tou:1980:AUG,% Treu:1975:OSD% }. \NAMECITE{computer-aided}{% Brzakovic:1985:ACD% }. \NAMECITE{Computer-based}{% Mishelevich:1972:CSA,% Brunnstein:1973:SRI% }. \NAMECITE{computers}{% Xu:1982:PSC% }. \NAMECITE{Computing}{% Toussaint:1983:CLE,% Agrawal:1985:TFS,% Kameda:1975:AAW% }. \NAMECITE{Concatenated}{% Chang:1984:CHC% }. \NAMECITE{concentric}{% Murty:1981:HCP% }. \NAMECITE{Concepts}{% Giloi:1982:CRH% }. \NAMECITE{Conceptual}{% dosSantos:1981:CMD% }. \NAMECITE{concerning}{% Voukalis:1982:RCO% }. \NAMECITE{concurrent}{% Dasarathy:1976:SLE% }. \NAMECITE{condensation}{% Lindstrom:1974:ALS% }. \NAMECITE{conditional}{% Ishida:1985:ASD,% Ishida:1985:ASM% }. \NAMECITE{configurations}{% Boyles:1981:EAT,% Tou:1980:AUG% }. \NAMECITE{confirmation}{% Chang:1985:TCG% }. \NAMECITE{connectivity}{% Furtado:1976:CSD% }. \NAMECITE{consecutive}{% Al-Fedaghi:1979:AAC% }. \NAMECITE{considerations}{% Yue:1975:SCC% }. \NAMECITE{constraints}{% Toussaint:1983:CLE% }. \NAMECITE{constructing}{% Lee:1980:TAC,% Stephenson:1980:MCB% }. \NAMECITE{construction}{% H:1985:SMC,% Jurgensen:1985:SMC% }. \NAMECITE{content}{% Lipovski:1972:DSC% }. \NAMECITE{content-addressed}{% Lipovski:1972:DSC% }. \NAMECITE{context}{% Book:1973:SCG,% Cannon:1976:ATC,% Lu:1984:ICF,% Lu:1984:ICP% }. \NAMECITE{context-free}{% Lu:1984:ICF,% Lu:1984:ICP% }. \NAMECITE{context-sensitive}{% Book:1973:SCG,% Cannon:1976:ATC% }. \NAMECITE{contiguous}{% Thesen:1977:PAC% }. \NAMECITE{control}{% Minsky:1978:OSA,% Parks:1975:SMB,% Srimani:1983:SWN,% Stoutemyer:1979:CAC% }. \NAMECITE{controlled}{% Jappinen:1981:SFR,% Subramanian:1985:NRA,% Subramanian:1985:NRC% }. \NAMECITE{controls}{% Hansen:1983:SME% }. \NAMECITE{conversational}{% Skavaril:1976:BIO% }. \NAMECITE{Conversion}{% Lin:1982:CPT% }. \NAMECITE{convex}{% Lee:1983:FCH% }. \NAMECITE{convexity}{% Toussaint:1984:CCU% }. \NAMECITE{coordination}{% Maekawa:1980:CPC% }. \NAMECITE{copy}{% Dutta:1985:MMC% }. \NAMECITE{coroutines}{% Stallings:1976:ACB% }. \NAMECITE{correcting}{% Fung:1976:ESD% }. \NAMECITE{correctness}{% Chen:1980:FCR% }. \NAMECITE{Cost}{% Bhargava:1981:CAR,% Ottmann:1984:BST,% Yue:1975:SCC% }. \NAMECITE{costs}{% Dutta:1985:MMC,% Zaki:1981:QCH% }. \NAMECITE{count}{% Berry:1978:TRRa,% Berry:1978:TRRb% }. \NAMECITE{counting}{% Hellerman:1977:SMP% }. \NAMECITE{covering}{% Bochmann:1979:SEC,% Harnett:1985:OTR,% Hong:1985:AEM,% Ignizio:1974:HAS,% Young:1985:MCP% }. \NAMECITE{coverings}{% Chang:1984:SC% }. \NAMECITE{criteria}{% Dujmovic:1980:CSC% }. \NAMECITE{criterion}{% Parks:1975:SMB% }. \NAMECITE{{CUCH}}{% Bohm:1972:CAT,% Bohm:1973:NCA% }. \NAMECITE{{CUCH-machine}}{% Bohm:1972:CAT,% Bohm:1973:NCA% }. \NAMECITE{Cut}{% H:1981:CPL,% Jurgensen:1981:CPL% }. \NAMECITE{cycles}{% Proskurowski:1979:MDC,% Proskurowski:1981:MDC% }. \NAMECITE{cyclic}{% Er:1984:IAC% }. \NAMECITE{dag}{% Hart:1980:FRB% }. \NAMECITE{Data}{% Ealer:1973:DBO,% Gotlieb:1979:DSB,% Lipovski:1972:DSC,% Arora:1980:WDM,% Arora:1981:GID,% Arora:1981:GNF,% Biss:1972:DSC,% Casanova:1983:TDD,% Furtado:1976:CSD,% Giloi:1982:CRH,% Hinomoto:1976:OFI,% Hoare:1975:RDS,% Hunter:1972:DRC,% Inselberg:1972:TLS,% Kak:1983:EMP,% Katzan:1972:AAR,% Maibaum:1980:HOD,% Motteler:1985:CMD,% Moyne:1977:SDB,% Niemi:1983:FRF,% Niemi:1984:SDR,% Orman:1984:FMD,% Remy:1982:CDT,% Roussopoulos:1985:SMS,% Shneiderman:1976:TTE,% Veloso:1982:MSA,% Wang:1975:DRU,% Wells:1972:UDS,% Wile:1972:IBE,% Wilkes:1972:ATD,% dosSantos:1981:CMD,% vanDam:1972:SII% }. \NAMECITE{database}{% Arora:1980:WDM,% Chang:1982:FAD,% Gyssens:1983:AVF,% Sarda:1981:CAD,% Schwind:1984:EDC,% Zaki:1981:MBM% }. \NAMECITE{databases}{% Bernorio:1980:QDD,% Dutta:1985:MMC,% Kostovetsky:1983:TST,% Kostovetsky:1984:FDT% }. \NAMECITE{deadlock}{% Elmagarmid:1985:PDD% }. \NAMECITE{debate}{% Treu:1975:OSD% }. \NAMECITE{decision}{% Hassen:1982:ESD,% McCormick:1975:DTM,% Tou:1972:ARH% }. \NAMECITE{decoder}{% Fung:1976:ESD% }. \NAMECITE{decoding}{% Srivastava:1977:GMQ,% Velasco:1974:SSD% }. \NAMECITE{decomposing}{% Maekawa:1976:DPB% }. \NAMECITE{decomposition}{% Kostovetsky:1984:FDT% }. \NAMECITE{deductive}{% Schwind:1984:EDC% }. \NAMECITE{defined}{% Guttmann:1976:PRD,% Ottman:1982:CID,% Ottmann:1982:CID% }. \NAMECITE{definitions}{% Chen:1980:FCR% }. \NAMECITE{Degrees}{% Hughes:1972:DUA,% Tanatsugu:1977:CSD% }. \NAMECITE{{Delaunay}}{% Lee:1980:TAC,% Shapiro:1981:NLS% }. \NAMECITE{dependencies}{% Arora:1981:GNF,% Bradley:1983:AAR,% Bradley:1983:ASA,% Casanova:1983:TDD,% Gyssens:1983:AVF% }. \NAMECITE{dependency}{% Arora:1981:GID% }. \NAMECITE{dependent}{% Inselberg:1972:TLS% }. \NAMECITE{deployment}{% Dasarathy:1977:FFE% }. \NAMECITE{Depth}{% Ibaraki:1978:DSB% }. \NAMECITE{Depth-}{% Ibaraki:1978:DSB% }. \NAMECITE{derivations}{% Alter:1979:ESG% }. \NAMECITE{described}{% Cohen:1974:NTD% }. \NAMECITE{describing}{% Roussopoulos:1985:SMS% }. \NAMECITE{descriptive}{% Maekawa:1980:CPC% }. \NAMECITE{design}{% Biswas:1985:ASV,% Cunha:1980:DSM,% Hurson:1984:VDP,% Koch:1977:ISD,% Leipala:1981:DOI,% Ng:1980:DIS,% Sarda:1981:CAD% }. \NAMECITE{designing}{% Lai:1974:RCT,% Srini:1984:MDM% }. \NAMECITE{Detection}{% Maekawa:1976:DPB,% Elmagarmid:1985:PDD,% Hughes:1977:AFA,% Kai:1977:SED,% Kandel:1974:AFL,% Osteen:1973:CAB% }. \NAMECITE{Determination}{% Aalto:1977:DNU,% Tou:1979:ZTB% }. \NAMECITE{determine}{% Maruyama:1972:PDI% }. \NAMECITE{deterministic}{% Culik:1979:DDT,% Ehrenfeucht:1975:SCV% }. \NAMECITE{Development}{% Ivakhnenko:1979:DMO,% White:1976:OSS% }. \NAMECITE{developmental}{% Ehrenfeucht:1975:SCV% }. \NAMECITE{diagnosis}{% Bouckaert:1974:CDGa,% Bouckaert:1974:CDGb,% Bouckaert:1977:CDG,% Ishida:1985:ASD,% Ishida:1985:ASM% }. \NAMECITE{diagrams}{% Jajodia:1983:EDW,% Jajodia:1983:ERD% }. \NAMECITE{diameter}{% Farley:1981:PTM% }. \NAMECITE{dictionary}{% Busam:1972:DSP% }. \NAMECITE{difference}{% Thomason:1976:BDT% }. \NAMECITE{dimensional}{% Boyles:1981:EAT% }. \NAMECITE{dimensions}{% Rosenberg:1975:SAM% }. \NAMECITE{directed}{% Gotlieb:1979:DSB,% Maryanski:1979:PSS,% Yang:1980:AFD% }. \NAMECITE{distance}{% Babu:1973:APD% }. \NAMECITE{distributed}{% Agrawal:1985:TFS,% Chang:1982:FAD,% Dutta:1985:MMC,% Elmagarmid:1985:PDD,% Hooper:1985:BSL,% Santoro:1984:MCD% }. \NAMECITE{distribution}{% Chan:1985:NMP,% Kak:1984:MPK% }. \NAMECITE{distributional}{% Brody:1982:PUA% }. \NAMECITE{distributions}{% Dorrough:1976:PCT% }. \NAMECITE{document}{% Brzakovic:1985:ACD% }. \NAMECITE{documenting}{% Roussopoulos:1985:SMS% }. \NAMECITE{domain}{% Bernorio:1980:QDD% }. \NAMECITE{domain-oriented}{% Bernorio:1980:QDD% }. \NAMECITE{domains}{% Spier:1973:MIP% }. \NAMECITE{dominating}{% Proskurowski:1979:MDC,% Proskurowski:1981:MDC% }. \NAMECITE{domination}{% Farley:1981:PTM% }. \NAMECITE{Doubly}{% Culik:1979:DDT% }. \NAMECITE{{DTOL}}{% H:1981:CPL,% Jurgensen:1981:CPL% }. \NAMECITE{dynamic}{% Diday:1973:DCM,% Rose:1973:TDF,% Tou:1979:DDO% }. \NAMECITE{{DYNOC}}{% Tou:1979:DDO% }. \NAMECITE{{ECG}}{% Jain:1973:EWF% }. \NAMECITE{economy}{% Parks:1975:SMB% }. \NAMECITE{edge}{% Gabow:1976:UEP,% Kai:1977:SED% }. \NAMECITE{{EDP}}{% Hansen:1983:SME,% Hassen:1982:ESD% }. \NAMECITE{effective}{% Guida:1981:EPS% }. \NAMECITE{efficient}{% Akritas:1983:CEA,% DiSanto:1981:EIR,% Lee:1982:EAF,% Motzkin:1982:EES,% Wile:1972:IBE% }. \NAMECITE{elementary}{% Epstein:1979:STE% }. \NAMECITE{elements}{% Tseng:1985:PSS% }. \NAMECITE{eliminating}{% Nishihara:1974:FTQ% }. \NAMECITE{Embedding}{% Schwind:1984:EDC% }. \NAMECITE{empirical}{% Dandamudi:1985:EPC% }. \NAMECITE{employing}{% Dasarathy:1976:SLE% }. \NAMECITE{empty}{% Toussaint:1983:CLE% }. \NAMECITE{enclosing}{% ORourke:1985:FME% }. \NAMECITE{encoded}{% Shneiderman:1976:TTE% }. \NAMECITE{Encoding}{% Thayse:1979:EPP,% Boyles:1981:EAT,% Stout:1982:SEI,% Xu:1982:PSC% }. \NAMECITE{Engineering}{% Tou:1980:KE,% Ealer:1973:DBO,% Tou:1985:KER% }. \NAMECITE{{English}}{% Moyne:1977:SDB% }. \NAMECITE{Entity}{% Jajodia:1983:EDW,% Jajodia:1983:ERD% }. \NAMECITE{Entity-relationship}{% Jajodia:1983:EDW,% Jajodia:1983:ERD% }. \NAMECITE{Enumerating}{% Alter:1979:ESG% }. \NAMECITE{enumeration}{% Ibaraki:1972:IEP% }. \NAMECITE{environments}{% Dasarathy:1977:FFE,% Sheela:1979:ONA,% Yeh:1975:POS% }. \NAMECITE{equivalence}{% Bochmann:1979:SEC,% Wood:1975:NLS% }. \NAMECITE{error}{% Barnard:1982:HSE,% Fung:1976:ESD% }. \NAMECITE{error-correcting}{% Fung:1976:ESD% }. \NAMECITE{estimation}{% Dasarathy:1976:SLE% }. \NAMECITE{{Euler}}{% Gabow:1976:UEP% }. \NAMECITE{Evaluation}{% Kobayashi:1981:EQB,% Bowdon:1974:STP,% Dasarathy:1977:FFE,% Dujmovic:1980:CSC,% Grant:1982:OES,% Hurson:1984:VDP,% Rose:1975:FEA,% Terrenoire:1972:EAI% }. \NAMECITE{even}{% Chen:1978:SOS% }. \NAMECITE{evolutionary}{% Mlodinow:1985:EPM% }. \NAMECITE{examination}{% Brzakovic:1985:ACD% }. \NAMECITE{examples}{% Kodratoff:1979:CFS% }. \NAMECITE{execute}{% A:1979:NME,% Mago:1979:NMEa,% Mago:1979:NMEb% }. \NAMECITE{Execution}{% Hamlet:1977:ETP% }. \NAMECITE{experiment}{% Treu:1975:OSD% }. \NAMECITE{experimental}{% Shneiderman:1979:SSI% }. \NAMECITE{experiments}{% Shneiderman:1976:EEP% }. \NAMECITE{Expert}{% Hassen:1982:ESD% }. \NAMECITE{Exploratory}{% Shneiderman:1976:EEP% }. \NAMECITE{Exponentiation}{% Kak:1983:EMP% }. \NAMECITE{expression}{% Lee:1982:EAF% }. \NAMECITE{expressions}{% Barrero:1983:RLT,% Barrero:1983:RTE,% Casanova:1983:TDD,% Grant:1982:OES% }. \NAMECITE{extended}{% Kobayashi:1981:EQB% }. \NAMECITE{extendible}{% Huang:1985:MEH,% Rosenberg:1975:SAM% }. \NAMECITE{extending}{% Landskov:1984:MCE% }. \NAMECITE{Extension}{% Rozenberg:1973:ETL,% Earley:1974:SEU,% Hong:1985:AEM% }. \NAMECITE{extensions}{% Skavaril:1976:BIO% }. \NAMECITE{external}{% Motzkin:1982:EES% }. \NAMECITE{extraction}{% Babu:1973:APD,% Jain:1973:EWF,% Minker:1977:NAE,% Starks:1977:AOS,% Tou:1972:ARH% }. \NAMECITE{Familial}{% Orman:1984:FMD% }. \NAMECITE{families}{% Veloso:1980:CRP% }. \NAMECITE{Fast}{% Hart:1980:FRB% }. \NAMECITE{fault}{% DalCin:1975:FAT,% Ishida:1985:ASD,% Ishida:1985:ASM,% Thomason:1976:BDT% }. \NAMECITE{{FEAST}}{% Dasarathy:1977:FFE% }. \NAMECITE{feature}{% Dasarathy:1977:FFE,% Jain:1973:EWF,% Starks:1977:AOS,% Tou:1972:ARH% }. \NAMECITE{features}{% Babu:1973:APD% }. \NAMECITE{Field}{% Iscovici:1977:FAM% }. \NAMECITE{figures}{% Atallah:1984:CSP% }. \NAMECITE{filamentous}{% Subramanian:1985:NRA,% Subramanian:1985:NRC% }. \NAMECITE{File}{% Chang:1982:FAD,% Rose:1975:FEA,% Dutta:1985:MMC,% Putkonen:1980:OMO,% Rose:1973:TDF,% Shneiderman:1974:MOI,% Simon:1972:APN% }. \NAMECITE{files}{% Leipala:1981:DOI% }. \NAMECITE{filters}{% Burke:1973:BFA% }. \NAMECITE{Finding}{% Koh:1979:FMS,% ORourke:1985:FME,% Lee:1982:EAF,% Lee:1983:FCH,% Yang:1980:AFD% }. \NAMECITE{finite}{% Hurson:1984:VDP,% Kodratoff:1979:CFS,% Lee:1983:SSA,% Tanatsugu:1977:CSD,% Yang:1980:AFD,% Yang:1984:AIG% }. \NAMECITE{firm}{% Hinomoto:1976:OFI% }. \NAMECITE{fixed}{% Lewis:1981:STM% }. \NAMECITE{flexible}{% Jappinen:1981:SFR% }. \NAMECITE{flow}{% Motteler:1985:CMD% }. \NAMECITE{Formal}{% Niemi:1983:FRF,% Agrawal:1985:TFS,% DiasVelasco:1977:AFL% }. \NAMECITE{Formalization}{% Chen:1980:FCR% }. \NAMECITE{forms}{% Arora:1981:GNF,% Remy:1982:CDT% }. \NAMECITE{formulation}{% Brody:1983:TFL% }. \NAMECITE{{FORTRAN}}{% Guida:1981:EPS,% Guttmann:1976:PRD,% White:1976:OSS% }. \NAMECITE{free}{% Lu:1984:ICF,% Lu:1984:ICP% }. \NAMECITE{freely}{% Jordan:1977:NLU% }. \NAMECITE{Frequency}{% Kostovetsky:1984:FDT% }. \NAMECITE{full}{% Nishihara:1974:FTQ% }. \NAMECITE{function}{% Hofri:1978:GAM% }. \NAMECITE{functional}{% Bradley:1983:AAR,% Bradley:1983:ASA,% Gyssens:1983:AVF% }. \NAMECITE{functionalities}{% Alia:1982:SNF% }. \NAMECITE{functionals}{% Bezdek:1980:SPC% }. \NAMECITE{functions}{% Cutler:1980:UPI,% Epstein:1979:STE,% Guttmann:1976:PRD,% Kodratoff:1979:CFS,% Neff:1977:SFS,% Niemi:1983:FRF% }. \NAMECITE{Further}{% Voukalis:1984:FRM% }. \NAMECITE{Fuzzy}{% DalCin:1975:FAT,% DalCin:1975:MTF,% Hughes:1977:AFA,% Kandel:1974:AFL,% Neff:1977:SFS% }. \NAMECITE{Fuzzy-state}{% DalCin:1975:FAT,% DalCin:1975:MTF% }. \NAMECITE{{G}}{% Srivastava:1977:GMQ,% Yu:1984:PMN% }. \NAMECITE{{G}-minimum}{% Yu:1984:PMN% }. \NAMECITE{{G/M/1}}{% Srivastava:1977:GMQ% }. \NAMECITE{game}{% Nau:1983:GGS% }. \NAMECITE{garbage}{% Berry:1978:TRG% }. \NAMECITE{{GASP}}{% Hooper:1983:GCG% }. \NAMECITE{gates}{% Yu:1984:PMN% }. \NAMECITE{{Gaussian}}{% Starks:1977:AOS% }. \NAMECITE{general}{% Hong:1985:AEM,% Maruyama:1977:GPA% }. \NAMECITE{generalization}{% Yang:1984:AIG% }. \NAMECITE{Generalized}{% Schinnar:1979:GIS% }. \NAMECITE{generated}{% Persoon:1975:SCS% }. \NAMECITE{generating}{% Hofri:1978:GAM% }. \NAMECITE{generating-function}{% Hofri:1978:GAM% }. \NAMECITE{geometric}{% Boyles:1981:EAT% }. \NAMECITE{geometrical}{% Tou:1980:AUG% }. \NAMECITE{{GGC}}{% Hooper:1983:GCG% }. \NAMECITE{given}{% Chang:1985:TCG% }. \NAMECITE{glimpse}{% Stark:1984:GPC% }. \NAMECITE{goiters}{% Bouckaert:1974:CDGa,% Bouckaert:1974:CDGb,% Bouckaert:1977:CDG% }. \NAMECITE{{GPSS}}{% Hooper:1983:GCG% }. \NAMECITE{{GPSS-GASP}}{% Hooper:1983:GCG% }. \NAMECITE{grammar}{% Chen:1985:LGS,% Salomon:1978:SGG% }. \NAMECITE{grammars}{% Barnard:1982:HSE,% Bochmann:1979:SEC,% Book:1973:SCG,% Chen:1985:GSG,% Chen:1985:LGS,% Fu:1972:SGL,% Gonzalez:1976:AIT,% Greibach:1974:SRW,% Lu:1984:ICF,% Lu:1984:ICP,% Sebesta:1978:PIG% }. \NAMECITE{grammatical}{% Budd:1983:SGP,% Tanatsugu:1984:GIH% }. \NAMECITE{graph}{% Bowie:1976:AGT,% Johnston:1976:CGB,% Nau:1983:GGS,% Salomon:1978:SGG,% Yang:1980:AFD% }. \NAMECITE{graph-variations}{% Johnston:1976:CGB% }. \NAMECITE{Graphical}{% Arora:1981:GNF,% Arora:1981:GID% }. \NAMECITE{graphics}{% vanDam:1972:SII% }. \NAMECITE{graphs}{% Alter:1979:ESG,% Gotlieb:1979:DSB,% Osteen:1973:CAB,% Proskurowski:1981:MDC% }. \NAMECITE{growth}{% Subramanian:1985:NRA,% Subramanian:1985:NRC% }. \NAMECITE{handling}{% Iscovici:1977:FAM% }. \NAMECITE{handprinted}{% Dasarathy:1978:CCH% }. \NAMECITE{handwritten}{% Tou:1972:ARH% }. \NAMECITE{{Hanoi}}{% Er:1984:IAC% }. \NAMECITE{hardware}{% Hurson:1984:VDP% }. \NAMECITE{harmonic}{% Tanatsugu:1984:GIH% }. \NAMECITE{hash}{% Chang:1984:CHC% }. \NAMECITE{hashing}{% Huang:1985:MEH% }. \NAMECITE{hazard}{% Hughes:1977:AFA% }. \NAMECITE{hazards}{% Kandel:1974:AFL% }. \NAMECITE{{HB}}{% Zaki:1981:QCH% }. \NAMECITE{{HENTRAN}}{% Guida:1981:EPS% }. \NAMECITE{heuristic}{% Ang:1975:HAP% }. \NAMECITE{heuristic-adaptive}{% Ang:1975:HAP% }. \NAMECITE{Heuristically}{% Ignizio:1974:HAS% }. \NAMECITE{heuristics}{% Yue:1975:NHA% }. \NAMECITE{Hierarchic}{% Barnard:1982:HSE% }. \NAMECITE{hierarchical}{% Niemi:1983:FRF% }. \NAMECITE{high}{% Giloi:1982:CRH,% Gligor:1983:VPM,% Shrivastava:1975:PSH% }. \NAMECITE{high-level}{% Gligor:1983:VPM,% Shrivastava:1975:PSH% }. \NAMECITE{high-performance}{% Giloi:1982:CRH% }. \NAMECITE{Higher}{% Maibaum:1980:HOD,% Walk:1973:MSP% }. \NAMECITE{higher-level}{% Walk:1973:MSP% }. \NAMECITE{{Hoare}}{% Dasgupta:1984:UHL% }. \NAMECITE{homogeneous}{% Ting:1977:CHT% }. \NAMECITE{horizontal}{% Dasgupta:1984:UHL% }. \NAMECITE{hull}{% Lee:1983:FCH% }. \NAMECITE{hybrid}{% Murty:1981:HCP% }. \NAMECITE{hypothesis}{% Dasarathy:1976:SLE% }. \NAMECITE{{IBM}}{% Bowdon:1974:STP% }. \NAMECITE{identity}{% Epstein:1979:STE% }. \NAMECITE{{II}}{% Berry:1978:TRRb,% Clark:1973:PTO,% Mago:1979:NMEb% }. \NAMECITE{{ILLIAC}}{% Lemme:1980:AQA% }. \NAMECITE{illusions}{% Mateescu:1974:IPM% }. \NAMECITE{image}{% Ankeney:1983:CTA% }. \NAMECITE{imperfectly}{% Babu:1973:APD% }. \NAMECITE{implementation}{% Bhargava:1981:CAR,% DiSanto:1981:EIR,% Ng:1980:DIS,% Spier:1973:MIP,% Wile:1972:IBE,% vanDam:1972:SII% }. \NAMECITE{implicants}{% Cutler:1980:UPI% }. \NAMECITE{implicit}{% Bradley:1983:AAR,% Bradley:1983:ASA,% Ibaraki:1972:IEP% }. \NAMECITE{improvement}{% Spier:1975:PPI% }. \NAMECITE{incompletely}{% Cutler:1980:UPI% }. \NAMECITE{independent}{% Arora:1980:WDM% }. \NAMECITE{index}{% Yue:1975:SCC% }. \NAMECITE{indexed}{% Leipala:1981:DOI,% Sebesta:1978:PIG,% Shneiderman:1974:MOI% }. \NAMECITE{indexes}{% Clark:1973:PTO% }. \NAMECITE{indexing}{% Biermann:1978:AII% }. \NAMECITE{indices}{% Ng:1980:DIS,% Stonebraker:1974:CPI% }. \NAMECITE{Inferability}{% Lu:1984:ICF,% Lu:1984:ICP% }. \NAMECITE{Inference}{% Fukuda:1984:ITA,% Tai:1982:ICC,% Edmundson:1977:SIM,% Gonzalez:1976:AIT,% Tanatsugu:1984:GIH% }. \NAMECITE{infinite}{% Stout:1982:SEI% }. \NAMECITE{influence}{% Nau:1983:GGS% }. \NAMECITE{Information}{% Koch:1977:ISD,% Biss:1972:DSC,% Brunnstein:1973:SRI,% Ewa:1982:RTI,% Hinomoto:1976:OFI,% Iscovici:1977:FAM,% Mateescu:1974:IPM,% Orlowska:1982:RTI,% Ras:1982:AAI,% Simon:1972:APN,% W:1982:AAI% }. \NAMECITE{Inhomogeneous}{% Anisimov:1979:IS,% V:1979:IS% }. \NAMECITE{input}{% Bouckaert:1977:CDG,% Dasarathy:1978:CCH,% Huang:1981:NTW,% Skavaril:1976:BIO% }. \NAMECITE{input-trained}{% Dasarathy:1978:CCH% }. \NAMECITE{input/output}{% Huang:1981:NTW% }. \NAMECITE{insertion}{% Biermann:1978:AII% }. \NAMECITE{insertions}{% Stephenson:1980:MCB% }. \NAMECITE{instructions}{% Biermann:1978:AII% }. \NAMECITE{integer}{% Ibaraki:1972:IEP% }. \NAMECITE{integrated}{% Singh:1978:PAT% }. \NAMECITE{integrity}{% Bhargava:1981:OSI% }. \NAMECITE{interactions}{% Ehrenfeucht:1975:SCV,% Shneiderman:1979:SSI% }. \NAMECITE{interactive}{% Minker:1974:MIR,% Rickman:1973:SIO,% Stallings:1976:ACB,% vanDam:1972:SII% }. \NAMECITE{internal}{% Sarda:1981:CAD% }. \NAMECITE{interpretation}{% Arora:1981:GID% }. \NAMECITE{interpreter}{% Cohen:1980:INL% }. \NAMECITE{interrogation}{% Terrenoire:1972:EAI% }. \NAMECITE{intersecting}{% Hellerman:1977:SMP% }. \NAMECITE{intersection}{% Lee:1984:OTM% }. \NAMECITE{intersections}{% Maruyama:1972:PDI% }. \NAMECITE{inverse}{% Schinnar:1979:GIS,% Yang:1984:AIG% }. \NAMECITE{inversions}{% Stonebraker:1974:CPI% }. \NAMECITE{inverted}{% Putkonen:1980:OMO% }. \NAMECITE{involving}{% Hellerman:1977:SMP% }. \NAMECITE{isomorphisms}{% Yang:1980:AFD% }. \NAMECITE{issues}{% Bhargava:1981:CAR,% vanDam:1972:SII% }. \NAMECITE{iterative}{% Er:1984:IAC,% Ottman:1982:CID,% Ottmann:1982:CID% }. \NAMECITE{{IV}}{% Bouckaert:1974:CDGa,% Lemme:1980:AQA% }. \NAMECITE{jobstreams}{% Shedler:1980:RSM% }. \NAMECITE{join}{% Arora:1981:TN% }. \NAMECITE{{Kerbosch}}{% Johnston:1976:CGB% }. \NAMECITE{key}{% Chan:1985:NMP,% Kak:1984:MPK% }. \NAMECITE{{Kleene}}{% Lee:1982:EAF% }. \NAMECITE{Knowledge}{% Tou:1980:KE,% Tou:1985:KER% }. \NAMECITE{label}{% Cannon:1979:NCL% }. \NAMECITE{labeled}{% Babu:1973:APD% }. \NAMECITE{Language}{% Moyne:1980:LUP,% Arora:1980:WDM,% Bernorio:1980:QDD,% Cohen:1980:INL,% Gligor:1983:VPM,% Hamlet:1977:ETP,% Hooper:1985:BSL,% Jordan:1977:NLU,% Minker:1974:RLR,% Wilkes:1972:ALA,% deMaine:1985:TPL% }. \NAMECITE{languages}{% A:1979:NME,% Berry:1978:TRG,% Berry:1978:TRRa,% Berry:1978:TRRb,% Brody:1982:PUA,% Cannon:1979:NCL,% DiSanto:1981:EIR,% Ehrenfeucht:1975:SCV,% Fu:1972:SGL,% H:1981:CPL,% H:1983:LWS,% Jurgensen:1981:CPL,% Jurgensen:1983:OWS,% Mago:1979:NMEa,% Mago:1979:NMEb,% Rozenberg:1973:ETL,% Salomon:1978:SGG,% Santos:1974:OAL,% Shrivastava:1975:PSH,% Shyr:1975:LL,% Tanatsugu:1984:GIH,% Walk:1973:MSP,% Wood:1975:NLS% }. \NAMECITE{large}{% Clark:1973:PTO,% Kostovetsky:1983:TST,% Kostovetsky:1984:FDT,% Ng:1980:DIS,% Payne:1973:PSL,% Singh:1978:PAT% }. \NAMECITE{large-scale}{% Singh:1978:PAT% }. \NAMECITE{largest}{% Toussaint:1983:CLE% }. \NAMECITE{lattices}{% Alter:1979:ESG% }. \NAMECITE{learned}{% Jordan:1977:NLU% }. \NAMECITE{Learning}{% Dasarathy:1979:LUV,% Brunnstein:1973:SRI,% Dasarathy:1976:SLE,% Mlodinow:1985:EPM,% Sheela:1979:ONA,% Tangwongsan:1979:ALR% }. \NAMECITE{{Lee}}{% Shapiro:1981:NLS% }. \NAMECITE{Left}{% Shyr:1975:LL% }. \NAMECITE{Left-noncounting}{% Shyr:1975:LL% }. \NAMECITE{level}{% Clark:1973:PTO,% Gligor:1983:VPM,% Leipala:1981:DOI,% Shrivastava:1975:PSH,% Tou:1972:ARH,% Walk:1973:MSP% }. \NAMECITE{libraries}{% Clark:1973:PTO% }. \NAMECITE{like}{% Barrero:1983:RLT,% Barrero:1983:RTE,% Murty:1981:HCP% }. \NAMECITE{{Lindenmayer}}{% Wood:1975:NLS% }. \NAMECITE{line}{% Rickman:1973:SIO,% Treu:1975:OSD,% White:1976:OSS% }. \NAMECITE{linear}{% Charnes:1980:CCS,% Starks:1977:AOS,% Tanatsugu:1984:GIH,% Zalcstein:1973:SLS% }. \NAMECITE{linguistic}{% Brody:1982:PUA,% Brody:1983:TFL% }. \NAMECITE{linguistics}{% DiasVelasco:1977:AFL,% Edmundson:1977:SIM,% Moyne:1975:RCS% }. \NAMECITE{link}{% Inselberg:1972:TLS% }. \NAMECITE{link-dependent}{% Inselberg:1972:TLS% }. \NAMECITE{linked}{% Inselberg:1972:TLS% }. \NAMECITE{{LISP}}{% Kodratoff:1979:CFS% }. \NAMECITE{list}{% Lindstrom:1974:ALS% }. \NAMECITE{{LL}}{% Chen:1985:GSG,% Chen:1985:LGS% }. \NAMECITE{location}{% Toussaint:1983:CLE% }. \NAMECITE{logic}{% Dasgupta:1984:UHL,% Kandel:1974:AFL% }. \NAMECITE{loops}{% Chen:1978:SOS% }. \NAMECITE{{LR}}{% Barnard:1982:HSE% }. \NAMECITE{M}{% Srivastava:1977:GMQ% }. \NAMECITE{machine}{% Mlodinow:1985:EPM,% Pargas:1984:PSR,% Bohm:1972:CAT,% Bohm:1973:NCA% }. \NAMECITE{machines}{% Gligor:1983:VPM,% Hwang:1975:SSC,% Lewis:1981:STM,% Zalcstein:1973:SLS% }. \NAMECITE{{Madcap}}{% Wells:1972:UDS% }. \NAMECITE{Magnetic}{% Zaki:1981:MBM% }. \NAMECITE{making}{% Stephenson:1980:MCB% }. \NAMECITE{management}{% Berry:1978:TRRa,% Berry:1978:TRRb,% Hinomoto:1976:OFI,% Kameda:1975:AAW,% Rose:1973:TDF,% Zaki:1981:MBM% }. \NAMECITE{manipulation}{% Katzan:1972:AAR,% Roussopoulos:1985:SMS,% Skavaril:1976:BIO% }. \NAMECITE{many}{% Rosenberg:1975:SAM% }. \NAMECITE{{Markov}}{% H:1981:CPL,% Hughes:1972:DUA,% Jurgensen:1981:CPL% }. \NAMECITE{mass}{% Yue:1975:NHA% }. \NAMECITE{match}{% Huang:1985:MEH% }. \NAMECITE{matching}{% Farley:1981:PTM% }. \NAMECITE{mathematical}{% Edmundson:1977:SIM,% Iscovici:1977:FAM,% Ivakhnenko:1973:PCS% }. \NAMECITE{matrices}{% Aalto:1977:DNU,% Lee:1982:EAF,% Wang:1975:DRU% }. \NAMECITE{matrix}{% Hong:1985:AEM,% Voukalis:1982:RCO,% Voukalis:1984:FRM% }. \NAMECITE{maximum}{% Farley:1981:PTM,% Stoutemyer:1979:CAC% }. \NAMECITE{means}{% Tai:1982:ICC% }. \NAMECITE{measure}{% Motteler:1985:CMD% }. \NAMECITE{measures}{% Babu:1973:APD,% Ellis:1978:ASA% }. \NAMECITE{mechanisms}{% Gligor:1983:VPM% }. \NAMECITE{memories}{% Lipovski:1972:DSC% }. \NAMECITE{memory}{% Jordan:1977:NLU,% Simon:1972:APN,% Srimani:1983:SWN,% Thesen:1977:PAC,% Zaki:1981:MBM% }. \NAMECITE{merging}{% Putkonen:1980:OMO% }. \NAMECITE{message}{% Cunha:1980:DSM,% Santoro:1984:MCD% }. \NAMECITE{method}{% Chan:1985:NMP,% Diday:1973:DCM,% Hong:1985:AEM,% Iscovici:1977:FAM,% Kak:1984:MPK,% Lai:1974:RCT,% McCormick:1975:DTM,% Niemi:1984:SDR,% Nishihara:1974:FTQ,% Stephenson:1980:MCB% }. \NAMECITE{Methodical}{% Veloso:1982:MSA% }. \NAMECITE{methodology}{% Srini:1984:MDM% }. \NAMECITE{Microcode}{% Landskov:1984:MCE% }. \NAMECITE{microprocessors}{% A:1979:NME,% Mago:1979:NMEa,% Mago:1979:NMEb% }. \NAMECITE{microprogram}{% Srimani:1983:SWN% }. \NAMECITE{microprograms}{% Dasgupta:1984:UHL% }. \NAMECITE{Minimal}{% Young:1985:MCP,% Koh:1979:FMS,% Lee:1984:OTM,% Motzkin:1982:EES,% ORourke:1985:FME% }. \NAMECITE{minimization}{% Srimani:1983:SWN,% Young:1985:MCP% }. \NAMECITE{minimizing}{% Ting:1977:CHT% }. \NAMECITE{Minimum}{% Proskurowski:1979:MDC,% Proskurowski:1981:MDC,% Yu:1984:PMN% }. \NAMECITE{model}{% Arora:1980:WDM,% Earley:1974:SEU,% Gyssens:1983:AVF,% Ishida:1985:ASD,% Ishida:1985:ASM,% Mateescu:1974:IPM,% McCormick:1974:TSM,% Moyne:1980:LUP,% Orman:1984:FMD,% Parks:1975:SMB,% Shneiderman:1974:MOI,% Shneiderman:1979:SSI,% Spier:1973:MIP% }. \NAMECITE{Modeling}{% Dutta:1985:MMC,% Walk:1973:MSP,% Ivakhnenko:1973:PCS,% Srini:1984:MDM,% dosSantos:1981:CMD% }. \NAMECITE{models}{% Hunter:1978:MPP,% Ivakhnenko:1979:DMO,% Motteler:1985:CMD,% Roussopoulos:1985:SMS,% Shedler:1980:RSM,% Yager:1981:ARP% }. \NAMECITE{Modification}{% DalCin:1975:MTF% }. \NAMECITE{modularity}{% Spier:1975:PPI% }. \NAMECITE{modulo}{% Kak:1983:EMP% }. \NAMECITE{monitoring}{% Hansen:1983:SME% }. \NAMECITE{monoid}{% H:1983:LWS,% Jurgensen:1983:OWS% }. \NAMECITE{monoids}{% H:1985:SMC,% Jurgensen:1985:SMC% }. \NAMECITE{movement}{% Dhamdhere:1980:CAS% }. \NAMECITE{{MRPPS}}{% Minker:1974:MIR% }. \NAMECITE{multi}{% Tou:1972:ARH% }. \NAMECITE{multi-level}{% Tou:1972:ARH% }. \NAMECITE{multiattribute}{% Hellerman:1977:SMP,% Schinnar:1979:GIS% }. \NAMECITE{Multidimensional}{% Huang:1985:MEH,% Maruyama:1977:GPA% }. \NAMECITE{multigraphs}{% Gabow:1976:UEP% }. \NAMECITE{multilevel}{% Rose:1973:TDF% }. \NAMECITE{multipath}{% Badii:1983:AMP% }. \NAMECITE{multiple}{% Chen:1978:SOS,% Cutler:1980:UPI,% Dutta:1985:MMC% }. \NAMECITE{multiple-output}{% Cutler:1980:UPI% }. \NAMECITE{multiplier}{% Hurson:1985:CSM% }. \NAMECITE{multipliers}{% Yu:1984:PMN% }. \NAMECITE{multiprocessing}{% Koch:1977:ISD% }. \NAMECITE{multiprogrammed}{% Hunter:1978:MPP,% Shedler:1980:RSM% }. \NAMECITE{multiprogramming}{% Hofri:1978:GAM% }. \NAMECITE{multivalued}{% Gyssens:1983:AVF% }. \NAMECITE{Multivariate}{% Hunter:1978:MPP,% Shedler:1980:RSM% }. \NAMECITE{{N}}{% Bradley:1983:AAR,% Bradley:1983:ASA% }. \NAMECITE{natural}{% Bernorio:1980:QDD,% Jordan:1977:NLU% }. \NAMECITE{Near}{% Yue:1975:NHA,% Srimani:1983:SWN% }. \NAMECITE{Near-optimal}{% Yue:1975:NHA% }. \NAMECITE{neighborhood}{% Simon:1972:APN% }. \NAMECITE{neighborhoods}{% Osteen:1973:CAB% }. \NAMECITE{net}{% Jordan:1977:NLU% }. \NAMECITE{network}{% A:1979:NME,% Alia:1982:SNF,% Mago:1979:NMEa,% Mago:1979:NMEb% }. \NAMECITE{networks}{% Fung:1976:ESD,% Lai:1974:RCT,% Treu:1975:OSD% }. \NAMECITE{noisy}{% Kai:1977:SED% }. \NAMECITE{noncounting}{% Shyr:1975:LL% }. \NAMECITE{nondeterministic}{% Cohen:1980:INL% }. \NAMECITE{nonhierarchical}{% Diday:1973:DCM% }. \NAMECITE{nonparametric}{% Dasarathy:1977:FFE,% Sheela:1979:ONA% }. \NAMECITE{{NOR}}{% Yu:1984:PMN% }. \NAMECITE{normal}{% Arora:1981:GNF,% Remy:1982:CDT% }. \NAMECITE{normalization}{% Arora:1981:TN% }. \NAMECITE{note}{% Chan:1985:NMP,% Minker:1977:NAE,% Shapiro:1981:NLS,% Subramanian:1985:NRA,% Subramanian:1985:NRC,% Wood:1975:NLS% }. \NAMECITE{Notes}{% Bohm:1973:NCA,% Cannon:1979:NCL% }. \NAMECITE{notion}{% Edmundson:1979:NPC% }. \NAMECITE{nucleus}{% Cohen:1974:NTD% }. \NAMECITE{number}{% Aalto:1977:DNU,% Kodratoff:1979:CFS% }. \NAMECITE{object}{% Chang:1985:TCG% }. \NAMECITE{objects}{% Maruyama:1972:PDI% }. \NAMECITE{Observations}{% Hinomoto:1976:OFI,% Bouckaert:1974:CDGa% }. \NAMECITE{odd}{% Chen:1978:SOS% }. \NAMECITE{odd-even}{% Chen:1978:SOS% }. \NAMECITE{off}{% White:1976:OSS% }. \NAMECITE{off-line}{% White:1976:OSS% }. \NAMECITE{{OL}}{% Culik:1979:DDT% }. \NAMECITE{omega}{% Jurgensen:1983:OWS% }. \NAMECITE{omega-languages}{% Jurgensen:1983:OWS% }. \NAMECITE{On-line}{% Treu:1975:OSD,% Rickman:1973:SIO% }. \NAMECITE{One}{% Santos:1974:OAL,% Akritas:1983:CEA,% Ibaraki:1972:IEP,% Leipala:1981:DOI% }. \NAMECITE{one-level}{% Leipala:1981:DOI% }. \NAMECITE{one-time}{% Akritas:1983:CEA% }. \NAMECITE{One-way}{% Santos:1974:OAL% }. \NAMECITE{online}{% Hansen:1983:SME% }. \NAMECITE{{OPAL}}{% Sheela:1979:ONA% }. \NAMECITE{operating}{% Yeh:1975:POS% }. \NAMECITE{operation}{% Minsky:1978:OSA,% Tseng:1985:PSS% }. \NAMECITE{operation-control}{% Minsky:1978:OSA% }. \NAMECITE{operations}{% Putkonen:1980:OMO,% dosSantos:1981:CMD% }. \NAMECITE{operator}{% Muzio:1977:POS% }. \NAMECITE{optical}{% Mateescu:1974:IPM% }. \NAMECITE{Optimal}{% Bouckaert:1974:CDGa,% Harnett:1985:OTR,% Bhargava:1981:OSI,% Bouckaert:1974:CDGb,% Ivakhnenko:1979:DMO,% Lai:1974:RCT,% Lee:1984:OTM,% Parks:1975:SMB,% Sheela:1979:ONA,% Starks:1977:AOS,% Tou:1979:DDO,% Yue:1975:NHA% }. \NAMECITE{optimization}{% Dhamdhere:1980:CAS,% Voukalis:1982:RCO,% Yeh:1975:POS% }. \NAMECITE{optimizing}{% Grant:1982:OES,% Shneiderman:1974:MOI% }. \NAMECITE{order}{% Maibaum:1980:HOD,% Putkonen:1980:OMO% }. \NAMECITE{ordered}{% Ng:1980:DIS,% Stout:1982:SEI% }. \NAMECITE{organization}{% Ealer:1973:DBO,% Ivakhnenko:1979:DMO% }. \NAMECITE{organizing}{% Parks:1975:SMB% }. \NAMECITE{oriented}{% Bernorio:1980:QDD,% Burke:1973:BFA,% Cunha:1980:DSM% }. \NAMECITE{outerplanar}{% Proskurowski:1981:MDC% }. \NAMECITE{output}{% Cutler:1980:UPI,% Huang:1981:NTW,% Skavaril:1976:BIO% }. \NAMECITE{overlaid}{% Clark:1973:PTO% }. \NAMECITE{Overview}{% deMaine:1985:TPL% }. \NAMECITE{packing}{% Maruyama:1977:GPA% }. \NAMECITE{pad}{% Akritas:1983:CEA% }. \NAMECITE{paradise}{% Stark:1984:GPC% }. \NAMECITE{Parallel}{% Pargas:1984:PSR,% Yu:1984:PMN,% Hurson:1984:VDP,% Thayse:1979:EPP,% Tseng:1985:PSS% }. \NAMECITE{parallelism}{% Maekawa:1976:DPB% }. \NAMECITE{Parameter}{% Yeh:1975:POS% }. \NAMECITE{parameters}{% Bezdek:1980:SPC,% Dasarathy:1976:SLE% }. \NAMECITE{Parsers}{% Sebesta:1978:PIG% }. \NAMECITE{parsing}{% Cannon:1976:ATC,% Lin:1982:CPT% }. \NAMECITE{Partial}{% Payne:1973:PSL,% Huang:1985:MEH,% Stonebraker:1974:CPI% }. \NAMECITE{partial-match}{% Huang:1985:MEH% }. \NAMECITE{partially}{% Elmagarmid:1985:PDD% }. \NAMECITE{Partitioning}{% Farley:1981:PTM,% Sheela:1979:ONA% }. \NAMECITE{partitions}{% Gabow:1976:UEP% }. \NAMECITE{pathology}{% Nau:1983:GGS% }. \NAMECITE{paths}{% Koh:1979:FMS% }. \NAMECITE{{PATRICIA}}{% Clark:1973:PTO% }. \NAMECITE{{PATRICIA-II}}{% Clark:1973:PTO% }. \NAMECITE{Pattern}{% Dorrough:1976:PCT,% Badii:1983:AMP,% Dasarathy:1979:LUV,% Lin:1982:CPT,% Starks:1977:AOS,% Thomason:1982:SST% }. \NAMECITE{patterns}{% Ang:1975:HAP,% Babu:1973:APD% }. \NAMECITE{performance}{% Bowdon:1974:STP,% Dandamudi:1985:EPC,% Dujmovic:1980:CSC,% Giloi:1982:CRH,% Hurson:1984:VDP,% Moyne:1980:LUP% }. \NAMECITE{permutations}{% Hart:1980:FRB% }. \NAMECITE{physical}{% Bouckaert:1974:CDGa% }. \NAMECITE{pictures}{% Kai:1977:SED% }. \NAMECITE{{PL}}{% Busam:1972:DSP% }. \NAMECITE{{PL/1}}{% Busam:1972:DSP% }. \NAMECITE{{PLA}}{% Young:1985:MCP% }. \NAMECITE{planar}{% Atallah:1984:CSP,% Badii:1983:AMP% }. \NAMECITE{planning}{% Bouckaert:1974:CDGa,% Tangwongsan:1979:ALR% }. \NAMECITE{plans}{% Vere:1979:CRP% }. \NAMECITE{point}{% H:1981:CPL,% Hunter:1978:MPP,% Jurgensen:1981:CPL,% Shedler:1980:RSM% }. \NAMECITE{points}{% Lewis:1981:STM% }. \NAMECITE{polygon}{% Lee:1983:FCH% }. \NAMECITE{polyhedral}{% Maruyama:1972:PDI% }. \NAMECITE{polynomial}{% Kak:1983:EMP% }. \NAMECITE{position}{% Chang:1985:TCG% }. \NAMECITE{possibilistic}{% Yager:1981:ARP% }. \NAMECITE{power}{% Maekawa:1980:CPC% }. \NAMECITE{pragmatic}{% Spier:1975:PPI,% Townley:1980:PAR% }. \NAMECITE{Predicting}{% Thesen:1977:PAC% }. \NAMECITE{prediction}{% Parks:1975:SMB% }. \NAMECITE{Predictive}{% Xu:1982:PSC% }. \NAMECITE{prefix}{% Muzio:1977:POS,% Veloso:1980:CRP% }. \NAMECITE{preprocessor}{% Guida:1981:EPS% }. \NAMECITE{preserving}{% Simon:1972:APN% }. \NAMECITE{prime}{% Cutler:1980:UPI% }. \NAMECITE{principle}{% Stoutemyer:1979:CAC% }. \NAMECITE{probabilistic}{% Babu:1973:APD,% Brody:1982:PUA,% Edmundson:1979:NPC,% Singh:1978:PAT% }. \NAMECITE{problem}{% Epstein:1979:STE,% Er:1984:IAC,% Hong:1985:AEM,% Minker:1974:RLR,% Young:1985:MCP,% Yue:1975:NHA% }. \NAMECITE{Problems}{% Ivakhnenko:1973:PCS,% Findler:1973:PTR,% Hellerman:1977:SMP,% Lee:1984:OTM,% Santoro:1984:MCD,% Schinnar:1979:GIS% }. \NAMECITE{procedure}{% Ang:1975:HAP,% Brody:1982:PUA,% Maruyama:1972:PDI,% Minker:1974:MIR,% Mlodinow:1985:EPM,% Murty:1981:HCP% }. \NAMECITE{Process}{% Shrivastava:1975:PSH,% Hunter:1978:MPP,% Maekawa:1980:CPC,% Shedler:1980:RSM,% Terrenoire:1972:EAI% }. \NAMECITE{processes}{% Iscovici:1977:FAM,% Maekawa:1976:DPB% }. \NAMECITE{processing}{% Ankeney:1983:CTA,% Bhargava:1981:OSI,% Hinomoto:1976:OFI,% Hunter:1972:DRC,% Mateescu:1974:IPM% }. \NAMECITE{productions}{% Vere:1979:CRP% }. \NAMECITE{prognosis}{% Jain:1973:EWF% }. \NAMECITE{program}{% Biermann:1978:AII,% Ibaraki:1972:IEP,% Kodratoff:1979:CFS,% Koh:1979:FMS,% Spier:1975:PPI,% Thayse:1979:EPP,% Weyuker:1979:APS% }. \NAMECITE{programmed}{% Lu:1984:ICF,% Lu:1984:ICP% }. \NAMECITE{programmer}{% Shneiderman:1976:EEP,% Shneiderman:1979:SSI% }. \NAMECITE{Programming}{% Guttmann:1976:PRD,% Charnes:1980:CCS,% Hamlet:1977:ETP,% Ibaraki:1972:IEP,% Skavaril:1976:BIO,% deMaine:1985:TPL% }. \NAMECITE{programming-language}{% Hamlet:1977:ETP% }. \NAMECITE{programs}{% Cunha:1980:DSM,% Vere:1979:CRP,% Weyuker:1979:APS,% White:1976:OSS% }. \NAMECITE{proof}{% Minker:1974:MIR% }. \NAMECITE{Properties}{% Maryanski:1979:PSS,% Walk:1973:MSP% }. \NAMECITE{property}{% Al-Fedaghi:1979:AAC% }. \NAMECITE{proposal}{% Spier:1975:PPI% }. \NAMECITE{protection}{% Budd:1983:SGP,% Ellis:1978:ASA,% Gligor:1983:VPM% }. \NAMECITE{protective}{% Spier:1973:MIP% }. \NAMECITE{prototyping}{% Hooper:1985:BSL% }. \NAMECITE{prover}{% Cohen:1974:NTD,% Minker:1974:RLR% }. \NAMECITE{proving}{% Townley:1980:PAR% }. \NAMECITE{puzzles}{% Chan:1985:NMP,% Kak:1984:MPK% }. \NAMECITE{quadratic}{% Nishihara:1974:FTQ% }. \NAMECITE{quadrature}{% Lemme:1980:AQA% }. \NAMECITE{queries}{% Huang:1985:MEH,% Kobayashi:1981:EQB,% Putkonen:1980:OMO% }. \NAMECITE{Query}{% Zaki:1981:QCH% }. \NAMECITE{Querying}{% Bernorio:1980:QDD% }. \NAMECITE{question}{% Minker:1974:MIR% }. \NAMECITE{queue}{% Srivastava:1977:GMQ% }. \NAMECITE{queues}{% Hofri:1978:GAM% }. \NAMECITE{random}{% Yeh:1975:POS% }. \NAMECITE{real}{% Koch:1977:ISD,% White:1976:OSS% }. \NAMECITE{real-time}{% Koch:1977:ISD,% White:1976:OSS% }. \NAMECITE{realization}{% Giloi:1982:CRH% }. \NAMECITE{reasoning}{% Yager:1981:ARP% }. \NAMECITE{recognition}{% Dasarathy:1978:CCH,% Dasarathy:1979:LUV,% DiasVelasco:1977:AFL,% Hart:1980:FRB,% Minker:1974:RLR,% Thomason:1982:SST,% Tou:1972:ARH% }. \NAMECITE{reconfigurable}{% Srini:1984:MDM% }. \NAMECITE{recovering}{% Dorrough:1976:PCT% }. \NAMECITE{recovery}{% Bhargava:1981:CAR% }. \NAMECITE{rectangle}{% Lee:1984:OTM% }. \NAMECITE{recurrences}{% Pargas:1984:PSR% }. \NAMECITE{Recursive}{% Hoare:1975:RDS,% Chen:1980:FCR% }. \NAMECITE{recursively}{% Dasarathy:1978:CCH,% Guttmann:1976:PRD% }. \NAMECITE{reduction}{% A:1979:NME,% Dhamdhere:1980:CAS,% Mago:1979:NMEa,% Mago:1979:NMEb% }. \NAMECITE{Redundancy}{% Lai:1974:RCT% }. \NAMECITE{reference}{% Berry:1978:TRRa,% Berry:1978:TRRb% }. \NAMECITE{refutation}{% Minker:1974:MIR% }. \NAMECITE{register}{% Chen:1978:SOS% }. \NAMECITE{Regular}{% Barrero:1983:RLT,% Barrero:1983:RTE,% Lee:1982:EAF,% Salomon:1978:SGG,% Subramanian:1985:NRA,% Subramanian:1985:NRC,% Veloso:1980:CRP% }. \NAMECITE{regular-controlled}{% Subramanian:1985:NRA,% Subramanian:1985:NRC% }. \NAMECITE{Regular-like}{% Barrero:1983:RLT,% Barrero:1983:RTE% }. \NAMECITE{related}{% Veloso:1980:CRP% }. \NAMECITE{relating}{% vanDam:1972:SII% }. \NAMECITE{relation}{% Bradley:1983:AAR,% Bradley:1983:ASA,% Furtado:1976:CSD% }. \NAMECITE{relational}{% Arora:1981:GID,% Arora:1981:GNF,% Casanova:1983:TDD,% Gyssens:1983:AVF,% Kobayashi:1981:EQB,% Schwind:1984:EDC,% Vere:1979:CRP,% Zaki:1981:MBM% }. \NAMECITE{relations}{% Findler:1973:PTR% }. \NAMECITE{relationship}{% Jajodia:1983:EDW,% Jajodia:1983:ERD% }. \NAMECITE{relationships}{% Alia:1982:SNF% }. \NAMECITE{Relevance}{% Moyne:1975:RCS% }. \NAMECITE{reliability}{% Spier:1975:PPI% }. \NAMECITE{Remarks}{% Voukalis:1982:RCO,% Voukalis:1984:FRM% }. \NAMECITE{reordering}{% Huang:1981:NTW% }. \NAMECITE{repair}{% Barnard:1982:HSE,% Harnett:1985:OTR% }. \NAMECITE{Representation}{% Ewa:1982:RTI,% Orlowska:1982:RTI,% Hunter:1972:DRC,% Katzan:1972:AAR% }. \NAMECITE{Representations}{% Minker:1974:RLR% }. \NAMECITE{required}{% Berry:1978:TRG,% Berry:1978:TRRa,% Berry:1978:TRRb% }. \NAMECITE{requirement}{% Motzkin:1982:EES% }. \NAMECITE{requirements}{% Maruyama:1977:GPA% }. \NAMECITE{resolution}{% Minker:1977:NAE,% Townley:1980:PAR% }. \NAMECITE{resolution-based}{% Minker:1977:NAE,% Townley:1980:PAR% }. \NAMECITE{resource}{% Maruyama:1977:GPA% }. \NAMECITE{resources}{% Kameda:1975:AAW% }. \NAMECITE{Response}{% Shedler:1980:RSM,% Hunter:1978:MPP% }. \NAMECITE{Response-time}{% Shedler:1980:RSM% }. \NAMECITE{restrictions}{% Greibach:1974:SRW% }. \NAMECITE{restructuring}{% Niemi:1983:FRF,% Niemi:1984:SDR% }. \NAMECITE{results}{% Shneiderman:1979:SSI,% Weyuker:1979:APS% }. \NAMECITE{retention}{% Berry:1978:TRG,% Berry:1978:TRRa,% Berry:1978:TRRb,% DiSanto:1981:EIR% }. \NAMECITE{retrieval}{% Al-Fedaghi:1979:AAC,% Biss:1972:DSC,% Ealer:1973:DBO,% Findler:1973:PTR,% Ras:1982:AAI,% W:1982:AAI,% Wang:1975:DRU% }. \NAMECITE{retrieve}{% Simon:1972:APN% }. \NAMECITE{retrieving}{% Brunnstein:1973:SRI% }. \NAMECITE{revisited}{% Tou:1985:KER% }. \NAMECITE{rewriting}{% Veloso:1982:MSA% }. \NAMECITE{robot}{% Jappinen:1981:SFR% }. \NAMECITE{robotic}{% Tangwongsan:1979:ALR% }. \NAMECITE{root}{% Arora:1981:GNF,% Stephenson:1980:MCB% }. \NAMECITE{Rough}{% Pawlak:1982:RS% }. \NAMECITE{rules}{% Tai:1982:ICC% }. \NAMECITE{run}{% Earley:1974:SEU% }. \NAMECITE{Safety}{% Budd:1983:SGP% }. \NAMECITE{sample}{% Fukuda:1984:ITA% }. \NAMECITE{scale}{% Singh:1978:PAT% }. \NAMECITE{scanner}{% Hurson:1984:VDP% }. \NAMECITE{scene}{% DiasVelasco:1977:AFL% }. \NAMECITE{{SCFG's}}{% Persoon:1975:SCS% }. \NAMECITE{{Schachter}}{% Shapiro:1981:NLS% }. \NAMECITE{Scheduling}{% Hansen:1983:SME,% Bhargava:1981:OSI% }. \NAMECITE{Schema}{% Roussopoulos:1985:SMS,% Sarda:1981:CAD,% Weyuker:1979:APS% }. \NAMECITE{schemata}{% Gotlieb:1979:DSB,% Maryanski:1979:PSS,% Thayse:1979:EPP% }. \NAMECITE{scheme}{% Akritas:1983:CEA,% Bhargava:1981:CAR,% Kodratoff:1979:CFS,% Minsky:1978:OSA,% Ng:1980:DIS,% Tseng:1985:PSS% }. \NAMECITE{schemes}{% Maekawa:1980:CPC% }. \NAMECITE{science}{% Moyne:1975:RCS% }. \NAMECITE{search}{% Ibaraki:1976:TCS,% Ibaraki:1978:DSB,% Nishihara:1974:FTQ,% Ottman:1982:CID,% Ottmann:1982:CID,% Ottmann:1984:BST,% Stephenson:1980:MCB% }. \NAMECITE{searches}{% Burke:1973:BFA% }. \NAMECITE{Searching}{% Stout:1982:SEI,% Xu:1982:PSC% }. \NAMECITE{secondary}{% Nishihara:1974:FTQ,% Yue:1975:SCC% }. \NAMECITE{security}{% Kak:1983:EMP% }. \NAMECITE{seeking}{% Tou:1979:DDO% }. \NAMECITE{segmentation}{% Ang:1975:HAP% }. \NAMECITE{selection}{% Chang:1984:CHC,% Dasarathy:1977:FFE,% Dujmovic:1980:CSC,% Yue:1975:SCC% }. \NAMECITE{self}{% Ishida:1985:ASD,% Ishida:1985:ASM,% Ivakhnenko:1979:DMO,% Parks:1975:SMB,% Roussopoulos:1985:SMS% }. \NAMECITE{self-describing}{% Roussopoulos:1985:SMS% }. \NAMECITE{self-diagnosis}{% Ishida:1985:ASD,% Ishida:1985:ASM% }. \NAMECITE{self-documenting}{% Roussopoulos:1985:SMS% }. \NAMECITE{self-organization}{% Ivakhnenko:1979:DMO% }. \NAMECITE{self-organizing}{% Parks:1975:SMB% }. \NAMECITE{Semantic}{% Bochmann:1979:SEC,% Mishelevich:1972:CSA,% Shneiderman:1979:SSI,% Tai:1982:ICC,% Thomason:1982:SST% }. \NAMECITE{semantics}{% Hamlet:1977:ETP% }. \NAMECITE{semigroups}{% Zalcstein:1973:SLS% }. \NAMECITE{Sense}{% Jappinen:1981:SFR% }. \NAMECITE{Sense-controlled}{% Jappinen:1981:SFR% }. \NAMECITE{sensitive}{% Book:1973:SCG,% Cannon:1976:ATC% }. \NAMECITE{separate}{% Maekawa:1976:DPB% }. \NAMECITE{separation}{% Kostovetsky:1983:TST% }. \NAMECITE{Sequential}{% Dasarathy:1976:SLE,% Persoon:1975:SCS,% Velasco:1974:SSD,% Hwang:1975:SSC,% Leipala:1981:DOI,% Maekawa:1976:DPB,% Zalcstein:1973:SLS% }. \NAMECITE{serializability}{% Brzozowski:1985:S% }. \NAMECITE{series}{% McCormick:1974:TSM% }. \NAMECITE{set}{% Grant:1982:OES,% Harnett:1985:OTR,% Hooper:1985:BSL,% Ignizio:1974:HAS,% Ishida:1985:ASD,% Ishida:1985:ASM,% Koh:1979:FMS% }. \NAMECITE{set-based}{% Hooper:1985:BSL% }. \NAMECITE{set-covering}{% Harnett:1985:OTR,% Ignizio:1974:HAS% }. \NAMECITE{sets}{% Fukuda:1984:ITA,% Furtado:1976:CSD,% Hellerman:1977:SMP,% Pawlak:1982:RS,% Stout:1982:SEI,% Tanatsugu:1977:CSD% }. \NAMECITE{several}{% Starks:1977:AOS% }. \NAMECITE{shapes}{% Badii:1983:AMP% }. \NAMECITE{shift}{% Chen:1978:SOS% }. \NAMECITE{shift-register}{% Chen:1978:SOS% }. \NAMECITE{similarity}{% Atallah:1984:CSP% }. \NAMECITE{simple}{% Lee:1983:FCH,% Srimani:1983:SWN,% Moyne:1977:SDB% }. \NAMECITE{{Simple-English}}{% Moyne:1977:SDB% }. \NAMECITE{Simplification}{% Neff:1977:SFS% }. \NAMECITE{Simplified}{% Chen:1978:SOS% }. \NAMECITE{Simulation}{% Hooper:1982:SS,% Bowdon:1974:STP,% Shedler:1980:RSM,% White:1976:OSS% }. \NAMECITE{simulations}{% Mateescu:1974:IPM% }. \NAMECITE{single}{% Starks:1977:AOS% }. \NAMECITE{size}{% Bouckaert:1974:CDGb% }. \NAMECITE{{SLEUTH}}{% Dasarathy:1976:SLE% }. \NAMECITE{{SLIDS}}{% Inselberg:1972:TLS% }. \NAMECITE{software}{% Niemi:1984:SDR% }. \NAMECITE{solution}{% Hellerman:1977:SMP,% Pargas:1984:PSR% }. \NAMECITE{solutions}{% Charnes:1980:CCS,% Schinnar:1979:GIS% }. \NAMECITE{Some}{% Greibach:1974:SRW,% Hwang:1975:SSC,% vanDam:1972:SII,% Dandamudi:1985:EPC,% Ellis:1978:ASA,% Skavaril:1976:BIO% }. \NAMECITE{sort}{% Chen:1978:SOS% }. \NAMECITE{sorting}{% Anisimov:1979:IS,% Motzkin:1982:EES,% Payne:1973:PSL,% Tseng:1985:PSS,% V:1979:IS% }. \NAMECITE{sorts}{% Tseng:1985:PSS% }. \NAMECITE{space}{% Lee:1983:SSA,% Lee:1984:OTM,% Motzkin:1982:EES,% Ting:1977:CHT,% Yang:1984:AIG% }. \NAMECITE{Specification}{% Niemi:1984:SDR,% Agrawal:1985:TFS,% Cunha:1980:DSM,% Veloso:1982:MSA% }. \NAMECITE{specifications}{% Remy:1982:CDT% }. \NAMECITE{specified}{% Cutler:1980:UPI% }. \NAMECITE{spectra}{% Wood:1975:NLS% }. \NAMECITE{{SQL}}{% Bradley:1983:AAR,% Bradley:1983:ASA% }. \NAMECITE{{SQL/N}}{% Bradley:1983:AAR,% Bradley:1983:ASA% }. \NAMECITE{stability}{% DalCin:1975:FAT% }. \NAMECITE{stage}{% Inselberg:1972:TLS% }. \NAMECITE{state}{% DalCin:1975:FAT,% DalCin:1975:MTF,% Hurson:1984:VDP,% Lee:1983:SSA,% Yang:1984:AIG% }. \NAMECITE{Stateless}{% Lewis:1981:STM% }. \NAMECITE{statements}{% Maekawa:1976:DPB% }. \NAMECITE{static}{% Kandel:1974:AFL% }. \NAMECITE{Statistical}{% Bezdek:1980:SPC,% Edmundson:1977:SIM% }. \NAMECITE{statistics}{% Ivakhnenko:1973:PCS% }. \NAMECITE{steam}{% Ealer:1973:DBO% }. \NAMECITE{Stochastic}{% Fu:1972:SGL,% Maryanski:1979:PSS,% Yeh:1975:POS% }. \NAMECITE{Storage}{% Yue:1975:SCC,% Inselberg:1972:TLS,% Rose:1975:FEA,% Ting:1977:CHT,% Walk:1973:MSP,% Yue:1975:NHA% }. \NAMECITE{store}{% Rose:1973:TDF% }. \NAMECITE{storing}{% Rosenberg:1975:SAM% }. \NAMECITE{strategies}{% Hooper:1982:SS,% Ibaraki:1976:TCS% }. \NAMECITE{strategy}{% Kameda:1975:AAW% }. \NAMECITE{strength}{% Dhamdhere:1980:CAS% }. \NAMECITE{String}{% Salomon:1978:SGG% }. \NAMECITE{strings}{% Persoon:1975:SCS% }. \NAMECITE{structural}{% Hwang:1975:SSC% }. \NAMECITE{structure}{% Biss:1972:DSC,% Book:1973:SCG,% Busam:1972:DSP,% Epstein:1979:STE,% Inselberg:1972:TLS,% Lindstrom:1974:ALS,% Nau:1983:GGS,% Wells:1972:UDS% }. \NAMECITE{structured}{% Berry:1978:TRG,% Berry:1978:TRRa,% Berry:1978:TRRb,% DiSanto:1981:EIR,% Guida:1981:EPS% }. \NAMECITE{Structures}{% Rickman:1973:SIO,% Arora:1981:GID,% Furtado:1976:CSD,% Hoare:1975:RDS,% Katzan:1972:AAR,% Lipovski:1972:DSC,% Shneiderman:1974:MOI,% Shneiderman:1976:TTE,% Wilkes:1972:ATD,% Zaki:1981:MBM,% vanDam:1972:SII% }. \NAMECITE{Structuring}{% Brunnstein:1973:SRI,% Wile:1972:IBE% }. \NAMECITE{student}{% Treu:1975:OSD% }. \NAMECITE{study}{% Srivastava:1977:GMQ,% Zaki:1983:CST% }. \NAMECITE{sub}{% Chen:1985:GSG,% Chen:1985:LGS% }. \NAMECITE{sub-{LL}}{% Chen:1985:GSG,% Chen:1985:LGS% }. \NAMECITE{subsymptomatologies}{% Bouckaert:1974:CDGb% }. \NAMECITE{Subword}{% Ehrenfeucht:1975:SCV% }. \NAMECITE{support}{% Biswas:1985:ASV,% Hassen:1982:ESD% }. \NAMECITE{Surjections}{% Chang:1984:SC% }. \NAMECITE{survey}{% Thomason:1982:SST% }. \NAMECITE{switching}{% Alia:1982:SNF,% Cutler:1980:UPI,% Hughes:1977:AFA,% Kandel:1974:AFL,% Muzio:1977:POS,% Neff:1977:SFS% }. \NAMECITE{synchronization}{% Lassez:1976:CCS,% Shrivastava:1975:PSH% }. \NAMECITE{Syntactic}{% H:1985:SMC,% Jurgensen:1985:SMC,% Shneiderman:1979:SSI,% Thomason:1982:SST,% Fung:1976:ESD,% H:1983:LWS,% Jurgensen:1983:OWS,% Kai:1977:SED,% Lin:1982:CPT% }. \NAMECITE{Syntactic/semantic}{% Shneiderman:1979:SSI,% Thomason:1982:SST% }. \NAMECITE{syntactical}{% Alter:1979:ESG,% Hart:1980:FRB,% Velasco:1974:SSD% }. \NAMECITE{Syntax}{% Earley:1974:SEU,% Barnard:1982:HSE,% Maryanski:1979:PSS% }. \NAMECITE{syntax-directed}{% Maryanski:1979:PSS% }. \NAMECITE{synthesis}{% Biermann:1978:AII,% McCormick:1974:TSM% }. \NAMECITE{synthesized}{% Kodratoff:1979:CFS% }. \NAMECITE{system}{% Agrawal:1985:TFS,% Bernorio:1980:QDD,% Bhargava:1981:OSI,% Dasarathy:1978:CCH,% Guida:1981:EPS,% Hinomoto:1976:OFI,% Hooper:1983:GCG,% Hooper:1985:BSL,% Ivakhnenko:1973:PCS,% Kameda:1975:AAW,% Koch:1977:ISD,% Minker:1974:MIR,% Srivastava:1977:GMQ,% White:1976:OSS,% deMaine:1985:TPL% }. \NAMECITE{systems}{% Arora:1980:WDM,% Arora:1981:GNF,% Bowie:1976:AGT,% Budd:1983:SGP,% Charnes:1980:CCS,% Culik:1979:DDT,% Ellis:1978:ASA,% H:1981:CPL,% Hansen:1983:SME,% Hassen:1982:ESD,% Hunter:1972:DRC,% Hunter:1978:MPP,% Jurgensen:1981:CPL,% Kandel:1974:AFL,% Koch:1977:ISD,% Minker:1977:NAE,% Minsky:1978:OSA,% Putkonen:1980:OMO,% Ras:1982:AAI,% Schwind:1984:EDC,% Srini:1984:MDM,% Stallings:1976:ACB,% Subramanian:1985:NRA,% Subramanian:1985:NRC,% Thayse:1979:EPP,% Veloso:1982:MSA,% W:1982:AAI,% Wood:1975:NLS,% Zaki:1981:MBM,% Rozenberg:1973:ETL% }. \NAMECITE{systolic}{% H:1985:SMC,% Hurson:1985:CSM,% Jurgensen:1985:SMC% }. \NAMECITE{{Szilard}}{% Wood:1975:NLS% }. \NAMECITE{table}{% Nishihara:1974:FTQ% }. \NAMECITE{tabled}{% Culik:1979:DDT,% Rozenberg:1973:ETL% }. \NAMECITE{tabular}{% Wilkes:1972:ATD% }. \NAMECITE{taxiway}{% Harnett:1985:OTR% }. \NAMECITE{teacher}{% Dasarathy:1976:SLE,% Dasarathy:1979:LUV% }. \NAMECITE{technique}{% Cannon:1976:ATC,% Dasarathy:1977:FFE,% Dorrough:1976:PCT,% Huang:1981:NTW,% Kostovetsky:1983:TST,% Kostovetsky:1984:FDT,% Lai:1974:RCT,% Payne:1973:PSL,% Tou:1979:DDO,% Tou:1979:ZTB% }. \NAMECITE{techniques}{% Ealer:1973:DBO,% Thomason:1976:BDT,% Thomason:1982:SST% }. \NAMECITE{technology}{% Hurson:1985:CSM% }. \NAMECITE{temporal}{% Ewa:1982:RTI,% Findler:1973:PTR,% Orlowska:1982:RTI% }. \NAMECITE{testing}{% Singh:1978:PAT% }. \NAMECITE{text}{% Hunter:1972:DRC,% Ting:1977:CHT% }. \NAMECITE{texture}{% McCormick:1974:TSM,% McCormick:1975:DTM% }. \NAMECITE{their}{% Alia:1982:SNF,% DalCin:1975:FAT,% Dorrough:1976:PCT,% Remy:1982:CDT% }. \NAMECITE{theorem}{% Cohen:1974:NTD,% Epstein:1979:STE,% Minker:1974:RLR,% Townley:1980:PAR% }. \NAMECITE{theorem-prover}{% Cohen:1974:NTD% }. \NAMECITE{Theoretical}{% Ibaraki:1976:TCS% }. \NAMECITE{theory}{% Bowie:1976:AGT,% Casanova:1983:TDD,% Ivakhnenko:1979:DMO,% McCormick:1975:DTM,% Rose:1973:TDF,% Shneiderman:1976:TTE% }. \NAMECITE{thesaurus}{% Rickman:1973:SIO% }. \NAMECITE{Theta}{% Arora:1981:TN% }. \NAMECITE{Theta-join}{% Arora:1981:TN% }. \NAMECITE{thresholding}{% Tou:1979:ZTB% }. \NAMECITE{Time}{% Berry:1978:TRG,% Berry:1978:TRRa,% Kostovetsky:1983:TST,% McCormick:1974:TSM,% Akritas:1983:CEA,% Ang:1975:HAP,% Berry:1978:TRRb,% Earley:1974:SEU,% Findler:1973:PTR,% Hwang:1975:SSC,% Koch:1977:ISD,% Lee:1984:OTM,% Shedler:1980:RSM,% White:1976:OSS% }. \NAMECITE{time-varying}{% Hwang:1975:SSC% }. \NAMECITE{times}{% Hunter:1978:MPP% }. \NAMECITE{tolerance}{% DalCin:1975:FAT,% DalCin:1975:MTF% }. \NAMECITE{tool}{% Bowdon:1974:STP% }. \NAMECITE{topological}{% Brody:1983:TFL% }. \NAMECITE{topology}{% Ankeney:1983:CTA% }. \NAMECITE{{Towers}}{% Er:1984:IAC% }. \NAMECITE{{TPL}}{% deMaine:1985:TPL% }. \NAMECITE{Trace}{% Chang:1985:TCG% }. \NAMECITE{traces}{% Hamlet:1977:ETP% }. \NAMECITE{trained}{% Dasarathy:1978:CCH% }. \NAMECITE{transaction}{% Bhargava:1981:OSI% }. \NAMECITE{transducers}{% Lin:1982:CPT% }. \NAMECITE{transform}{% Kou:1984:CT% }. \NAMECITE{translation}{% Maryanski:1979:PSS,% Shneiderman:1976:TTE% }. \NAMECITE{transportable}{% deMaine:1985:TPL% }. \NAMECITE{treatment}{% Bohm:1972:CAT,% Bohm:1973:NCA% }. \NAMECITE{tree}{% Barrero:1983:RLT,% Barrero:1983:RTE,% Dandamudi:1985:EPC,% Fukuda:1984:ITA,% Gonzalez:1976:AIT,% H:1985:SMC,% Jurgensen:1985:SMC,% Lin:1982:CPT,% Pargas:1984:PSR,% Thomason:1976:BDT% }. \NAMECITE{trees}{% Farley:1981:PTM,% Fukuda:1984:ITA,% Ottman:1982:CID,% Ottmann:1982:CID,% Ottmann:1984:BST,% Proskurowski:1979:MDC,% Stephenson:1980:MCB,% Zaki:1981:QCH,% Zaki:1983:CST% }. \NAMECITE{triangulation}{% Lee:1980:TAC,% Shapiro:1981:NLS% }. \NAMECITE{trivial}{% H:1983:LWS,% Jurgensen:1983:OWS% }. \NAMECITE{turbine}{% Ealer:1973:DBO% }. \NAMECITE{{Turing}}{% Lewis:1981:STM% }. \NAMECITE{Two}{% Clark:1973:PTO,% Lee:1980:TAC,% Boyles:1981:EAT,% Inselberg:1972:TLS% }. \NAMECITE{two-dimensional}{% Boyles:1981:EAT% }. \NAMECITE{Two-level}{% Clark:1973:PTO% }. \NAMECITE{two-stage}{% Inselberg:1972:TLS% }. \NAMECITE{type}{% Giloi:1982:CRH,% Remy:1982:CDT,% Voukalis:1984:FRM% }. \NAMECITE{type-}{% Voukalis:1984:FRM% }. \NAMECITE{types}{% Maibaum:1980:HOD,% Veloso:1982:MSA% }. \NAMECITE{typology}{% Brody:1983:TFL% }. \NAMECITE{unambiguous}{% Aalto:1977:DNU,% Wang:1975:DRU% }. \NAMECITE{understander}{% Jordan:1977:NLU% }. \NAMECITE{understanding}{% Bernorio:1980:QDD,% Tou:1980:AUG% }. \NAMECITE{unfamiliar}{% Dasarathy:1976:SLE% }. \NAMECITE{unified}{% Wells:1972:UDS% }. \NAMECITE{unimodality}{% Toussaint:1984:CCU% }. \NAMECITE{units}{% Hurson:1985:CSM% }. \NAMECITE{unsolvability}{% Hughes:1972:DUA% }. \NAMECITE{unsupervised}{% Brody:1982:PUA,% Dasarathy:1977:FFE,% Sheela:1979:ONA% }. \NAMECITE{update}{% Dutta:1985:MMC% }. \NAMECITE{use}{% Dasgupta:1984:UHL,% Moyne:1980:LUP% }. \NAMECITE{Useless}{% Cutler:1980:UPI% }. \NAMECITE{Using}{% Gabow:1976:UEP,% Chen:1978:SOS,% Earley:1974:SEU,% Hart:1980:FRB,% Ivakhnenko:1979:DMO,% Parks:1975:SMB,% Treu:1975:OSD% }. \NAMECITE{{V}}{% Bouckaert:1977:CDG% }. \NAMECITE{validity}{% Bezdek:1980:SPC% }. \NAMECITE{variable}{% Biswas:1985:ASV% }. \NAMECITE{variables}{% Bohm:1972:CAT,% Parks:1975:SMB,% Bohm:1973:NCA% }. \NAMECITE{variations}{% Dandamudi:1985:EPC,% Johnston:1976:CGB,% Stoutemyer:1979:CAC% }. \NAMECITE{various}{% Ehrenfeucht:1975:SCV% }. \NAMECITE{varying}{% Hwang:1975:SSC% }. \NAMECITE{vector}{% Payne:1973:PSL,% Thayse:1979:EPP% }. \NAMECITE{{VEDIC}}{% Dasarathy:1979:LUV% }. \NAMECITE{verification}{% Dasgupta:1984:UHL,% Gligor:1983:VPM% }. \NAMECITE{versa}{% Moyne:1975:RCS% }. \NAMECITE{versus}{% Zaki:1981:QCH% }. \NAMECITE{{VI}}{% Wells:1972:UDS% }. \NAMECITE{via}{% Remy:1982:CDT,% Tou:1972:ARH,% Veloso:1982:MSA% }. \NAMECITE{vice}{% Moyne:1975:RCS% }. \NAMECITE{view}{% Gyssens:1983:AVF% }. \NAMECITE{{VLSI}}{% Hurson:1984:VDP,% Hurson:1985:CSM% }. \NAMECITE{{W}}{% Greibach:1974:SRW% }. \NAMECITE{{W}-grammars}{% Greibach:1974:SRW% }. \NAMECITE{waveform}{% Jain:1973:EWF% }. \NAMECITE{way}{% Santos:1974:OAL,% Srimani:1983:SWN% }. \NAMECITE{{WCRL}}{% Arora:1980:WDM% }. \NAMECITE{{WFTA}}{% Huang:1981:NTW% }. \NAMECITE{which}{% Jajodia:1983:EDW,% Jajodia:1983:ERD% }. \NAMECITE{whose}{% H:1983:LWS,% Jurgensen:1983:OWS,% Tseng:1985:PSS% }. \NAMECITE{workload}{% Kameda:1975:AAW% }. \NAMECITE{zero}{% Ibaraki:1972:IEP% }. \NAMECITE{zero-one}{% Ibaraki:1972:IEP% }. \NAMECITE{Zoom}{% Tou:1979:ZTB% }. \NAMECITE{Zoom-thresholding}{% Tou:1979:ZTB% }.