%%====================================================================== %% 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 Oct 14 13:09:55 MDT 2017 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{$ (0, 1)$}{% Makinen:1996:TUA% }. \NAMECITE{$ 0 L$}{% Spilker:1996:SUR% }. \NAMECITE{$1$}{% Heljanko:1999:ULP% }. \NAMECITE{$2$}{% Harju:1994:RPS% }. \NAMECITE{$3$}{% Banerjee:1997:RSV,% Icking:1995:CDF% }. \NAMECITE{$ \epsilon $}{% Murthy:1998:OST% }. \NAMECITE{$H$}{% Paun:1997:CSC,% Paun:1997:CSS% }. \NAMECITE{$k$}{% Spilker:1996:SUR% }. \NAMECITE{$ \lambda $}{% Alessi:1997:CPL,% Laneve:1994:DEC% }. \NAMECITE{$P$}{% Paun:1999:SS% }. \NAMECITE{$ p^m $}{% Ding:1999:CEA% }. \NAMECITE{$Y$}{% Fachini:1997:CHS,% Subrahmanian:1990:LFR% }. \NAMECITE{$ \zeta $}{% Chitil:1997:SCS% }. \NAMECITE{-Calculus}{% Alessi:1997:CPL,% Laneve:1994:DEC% }. \NAMECITE{-Limited}{% Spilker:1996:SUR% }. \NAMECITE{{}-logic}{% Subrahmanian:1990:LFR% }. \NAMECITE{-Optimal}{% Murthy:1998:OST% }. \NAMECITE{-Safe}{% Heljanko:1999:ULP% }. \NAMECITE{-Semantics}{% Chitil:1997:SCS% }. \NAMECITE{-Space}{% Icking:1995:CDF% }. \NAMECITE{-Structures}{% Harju:1994:RPS% }. \NAMECITE{-Totality}{% Makinen:1996:TUA% }. \NAMECITE{{}-Tree}{% Fachini:1997:CHS% }. \NAMECITE{-valued}{% Banerjee:1997:RSV% }. \NAMECITE{{0}}{% Narendran:1996:UMA% }. \NAMECITE{49er}{% Zytkow:1997:CTF% }. \NAMECITE{Abductive}{% Lobo:1996:ACO% }. \NAMECITE{Abilities}{% vanLinder:1998:FAO% }. \NAMECITE{Absolute}{% Baeten:1997:DTP% }. \NAMECITE{Abstract}{% Burkhard:1997:DBA,% Gramlich:1995:ARB,% Janssens:1996:ASE,% Preoteasa:1999:RBU,% Skordev:1997:AAS% }. \NAMECITE{Abstraction}{% Pigozzi:1997:LAA,% Pigozzi:1998:LAA% }. \NAMECITE{Abstractness}{% denHartog:1999:FAM% }. \NAMECITE{Acceptance}{% Gomolinska:1996:SNM,% Shields:1999:AVS% }. \NAMECITE{Accepting}{% Bordihn:1999:APL% }. \NAMECITE{Access}{% Penttonen:1999:RCR% }. \NAMECITE{According}{% Gaasterland:1997:QAA% }. \NAMECITE{Account}{% Kersten:1997:FAS% }. \NAMECITE{{ACI}}{% Narendran:1996:UMA% }. \NAMECITE{Acquisition}{% Findler:1997:STR% }. \NAMECITE{Action}{% Montanari:1997:CFS,% Zhang:1997:DIC,% deBakker:1994:BSC,% denHartog:1999:FAM,% Darondeau:1991:ASA% }. \NAMECITE{Actions}{% Ramakrishna:1995:SPL% }. \NAMECITE{Activation}{% Sinha:1999:CDI% }. \NAMECITE{Active}{% Miller:1995:CSC% }. \NAMECITE{Acyclic}{% Stewart:1995:RSC% }. \NAMECITE{Adaptation}{% Back:1998:OPC% }. \NAMECITE{Adapting}{% Murray:1994:ACI% }. \NAMECITE{Adaptive}{% Przelaskowski:1998:DPW% }. \NAMECITE{adders}{% Becker:1991:UTA% }. \NAMECITE{Adding}{% Bhat:1998:APO% }. \NAMECITE{Adequacy}{% Bouquet:1995:RAT% }. \NAMECITE{Adequate}{% Brauner:1998:SAC% }. \NAMECITE{Adjacency}{% Wanne:1999:GMA% }. \NAMECITE{Adjunctions}{% Mislove:1995:ABC% }. \NAMECITE{Agent}{% Muller:1999:AA% }. \NAMECITE{Agents}{% vanLinder:1998:FAO,% Maida:1991:SAI% }. \NAMECITE{{Ajdukiewicz}}{% Kandulski:1997:GAL% }. \NAMECITE{Algebra}{% Baeten:1997:DTP,% Ballarin:1999:PAE,% Bertoli:1999:SIT,% Bohm:1999:FPE,% Frias:1997:FAA,% Montanari:1997:CFS,% Stark:1995:ADN,% deKogel:1995:RAE,% Levene:1993:FPN% }. \NAMECITE{Algebraic}{% Banerjee:1996:RST,% Berstel:1996:TAT,% Duntsch:1997:AAA,% Fevre:1999:CCA,% Hirani:1990:AFL,% Hoogeboom:1996:TLA,% Hsiang:1996:AAP,% Junttila:1999:FSA,% Kudlek:1998:ALR,% Liau:1996:AFR,% Mirkowska:1996:ASD,% Plaza:1996:LPP,% Sendra:1999:ARR,% Tsumoto:1996:CAF,% Cazanescu:1990:TNA,% Novotny:1992:NAA,% Rauszer:1993:DRD% }. \NAMECITE{Algebras}{% Bogdanovic:1999:TCE,% Buszkowski:1997:RRS,% Corradini:1999:RAF,% Duntsch:1994:RRA,% Frias:1997:FAA,% Gecseg:1996:DA,% Konikowska:1996:MAM,% Mohnen:1997:CCP,% Pagliani:1996:RSN,% Pigozzi:1997:LAA,% Pigozzi:1998:LAA,% Romanowska:1997:DSA,% Vigneron:1998:ADT,% Duntsch:1999:RAQ,% Ehrenfeucht:1992:RPB,% Marongiu:1993:UFT,% Romanowska:1990:CPE% }. \NAMECITE{Algorithm}{% Eppstein:1995:DLT,% Giordana:1998:LCP,% Khouja:1998:EAE,% Kubota:1999:EMV,% Skarbek:1998:MOR,% Biela:1993:RSD% }. \NAMECITE{Algorithmic}{% DeLaHiguera:1996:STS,% Danko:1993:SPA,% Stepaniuk:1991:AFM% }. \NAMECITE{Algorithms}{% Baar:1999:IDV,% Back:1998:OPC,% Dovier:1998:UAV,% Dubois:1999:UPL,% Esquivel:1998:SME,% Jarvinen:1997:RDS,% Kindler:1999:IDA,% Murthy:1998:OST,% Sendra:1999:ARR,% Skowron:1997:DAS,% Tyszkiewicz:1997:QAC,% Wroblewski:1996:TFO% }. \NAMECITE{Along}{% Segerberg:1997:PTB% }. \NAMECITE{Alphabet}{% Madlener:1997:SUR,% Makinen:1992:GCC% }. \NAMECITE{Alphabets}{% Rahonis:1998:SSS% }. \NAMECITE{{AltaRica}}{% Arnold:1999:AFD% }. \NAMECITE{Ambiguities}{% Makinen:1997:PAP% }. \NAMECITE{Ambivalent}{% Apt:1996:MVL% }. \NAMECITE{among}{% Corradini:1999:RAF% }. \NAMECITE{Analyse}{% Hotz:1997:USD% }. \NAMECITE{Analysis}{% Calude:1998:CAR,% Kent:1996:RCA,% Moshkov:1996:CAD,% Sikora:1998:SAO,% Skarbek:1998:AFO,% Skarbek:1998:MOR,% Tanaka:1999:IRA,% Wojdyllo:1998:WMM% }. \NAMECITE{Analytical}{% Skowron:1996:AMM% }. \NAMECITE{Analyzing}{% Popova-Zeugmann:1999:APT% }. \NAMECITE{Anomalies}{% Gasarch:1995:LQT% }. \NAMECITE{Answering}{% Ras:1997:QAA% }. \NAMECITE{Answers}{% Gaasterland:1997:QAA% }. \NAMECITE{Ant}{% Boryczka:1998:SAA% }. \NAMECITE{Antichains}{% Boldi:1996:MCA% }. \NAMECITE{Application}{% Egly:1999:IPT,% Habel:1996:GGN,% Marcus:1996:SSD,% Skarbek:1998:MOR,% Truszczynski:1991:MNL% }. \NAMECITE{Applications}{% Ballarin:1999:PAE,% Eppstein:1995:DLT,% Kirkpatrick:1995:TPS,% Stepaniuk:1991:AFM,% Winkowski:1996:CWP% }. \NAMECITE{Applying}{% Maggiolo-Schettini:1999:ATA% }. \NAMECITE{Approach}{% Ballarin:1999:PAE,% Besnard:1995:ACB,% Giordana:1998:LCP,% Monfroy:1999:OAF,% Moshkov:1996:CAD,% Schlechta:1996:TSA,% Skordev:1997:AAS,% Suraj:1996:DCD,% Zytkow:1997:CTF,% Becker:1991:UTA,% Maida:1991:SAI,% Novotny:1992:NAA,% Rauszer:1993:DRD,% Rutten:1992:SAF% }. \NAMECITE{Approaches}{% Bucciarelli:1997:BMR% }. \NAMECITE{Approximate}{% Cadoli:1994:AID,% Cadoli:1995:AID,% Lin:1996:FOR,% Ras:1997:QAA% }. \NAMECITE{Approximating}{% Gottlob:1996:ASM% }. \NAMECITE{Approximation}{% Skowron:1996:TAS,% Stepaniuk:1991:AFM% }. \NAMECITE{Approximations}{% Calude:1998:CAR,% Paun:1997:RSA% }. \NAMECITE{Arbitrary}{% Bockmayr:1995:NSA,% Makinen:1996:TUA% }. \NAMECITE{Architecture}{% Bandyopadhyay:1999:RBV% }. \NAMECITE{Arcs}{% Busi:1999:PSP,% Pietkiewicz-Koutny:1999:SPE% }. \NAMECITE{Argumentation}{% Radev:1996:AS% }. \NAMECITE{Arithmetic}{% Apt:1990:ACP,% Apt:1991:ACP,% Marcus:1996:SSD% }. \NAMECITE{Array}{% Marcus:1996:SSD% }. \NAMECITE{Array-Arithmetic}{% Marcus:1996:SSD% }. \NAMECITE{Artificial}{% DiGesu:1999:AVS,% Horty:1991:CAI% }. \NAMECITE{Asking}{% Gasarch:1997:AQV% }. \NAMECITE{Aspects}{% Boryczka:1998:SAA,% Duntsch:1997:AAA,% Marek:1992:MMA% }. \NAMECITE{Assignment}{% Urzyczyn:1996:PRT,% vanBakel:1996:RIT% }. \NAMECITE{Assistant}{% Muller:1999:AA% }. \NAMECITE{Association}{% Nguyen:1999:RSA,% Skarbek:1997:RIC% }. \NAMECITE{Assumptions}{% Doyle:1994:RAR,% Ruiz:1997:CCW% }. \NAMECITE{Asymptotic}{% Tendera:1994:NAP% }. \NAMECITE{Asynchronous}{% Diekert:1996:NMC,% Maggiolo-Schettini:1999:ATA,% Taentzer:1996:TSA% }. \NAMECITE{{ATMS}}{% Dubois:1999:UPL% }. \NAMECITE{{ATMS}-based}{% Dubois:1999:UPL% }. \NAMECITE{atomic}{% Gorrieri:1992:HSD% }. \NAMECITE{Atomicity}{% Ferrari:1997:ACC,% deBakker:1994:BSC% }. \NAMECITE{Attribute}{% Duntsch:1997:AAA,% Noll:1994:TPS% }. \NAMECITE{Attributed}{% Wagner:1996:DOB% }. \NAMECITE{autoepistemic}{% Boutilier:1992:EEA,% Gelfond:1990:FIR,% Gelfond:1992:CCA,% Konolige:1991:QAL,% Niemela:1992:DCA,% Schwarz:1992:RAL% }. \NAMECITE{Automata}{% Berard:1998:CEP,% Derencourt:1996:CPW,% Diekert:1996:NMC,% Fachini:1997:CHS,% Halava:1999:UIW,% Jurvanen:1999:DSU,% Kari:1999:CDS,% Peltier:1997:TAA,% Rahonis:1998:SSS,% Barua:1991:GA,% Fulop:1990:CIS,% Wlaz:1991:UWS% }. \NAMECITE{Automated}{% Monfroy:1999:OAF,% Peltier:1997:TAA,% Vigneron:1998:ADT,% Zhang:1995:CRA,% Zytkow:1996:ADE% }. \NAMECITE{Automatic}{% Findler:1997:STR% }. \NAMECITE{Automating}{% Hsiang:1996:AAP,% Pientka:1999:AIS% }. \NAMECITE{Average}{% Burago:1998:ACC,% Chikalov:1999:ATC,% Moshkov:1997:BAW,% Buning:1990:TAC% }. \NAMECITE{Average-Case}{% Burago:1998:ACC% }. \NAMECITE{Axiom}{% Koutny:1991:ASI% }. \NAMECITE{Axiomatic}{% Dovier:1998:UAV,% Takeuti:1998:ASP% }. \NAMECITE{Axiomatization}{% Brandt:1998:CAR,% Fokkink:1996:CAP,% Fokkink:1997:ARP% }. \NAMECITE{Axiomatizations}{% Kutty:1995:AIL,% Moser:1994:CSA,% Penczek:1996:ATL% }. \NAMECITE{Axioms}{% Montanari:1994:CCP,% Biela:1993:RSD% }. \NAMECITE{Back}{% Ambainis:1999:IIP% }. \NAMECITE{Bag}{% Heckmann:1995:LBD% }. \NAMECITE{Base}{% Ho:1996:MLR% }. \NAMECITE{Based}{% Besnard:1995:ACB,% Chu:1994:MFS,% Clark:1997:IIC,% Ehrenfeucht:1997:SNT,% Harper:1995:MMK,% Kirchner:1998:RBC,% Koshiba:1997:HSL,% Meyer:1995:DLB,% Montanari:1997:CFS,% Sastry:1999:DEB,% Schurr:1996:LBP,% Tsumoto:1996:CAF,% Wierzchon:1997:RFE,% Wroblewski:1996:TFO,% delCerro:1999:TBD,% Dubois:1999:UPL,% Przelaskowski:1998:DPW% }. \NAMECITE{Basic}{% Esparza:1997:PNC,% Jarvinen:1997:RDS,% Lynch:1999:BCC,% Keesmaat:1990:VCC% }. \NAMECITE{Basis}{% Bochman:1996:LBN,% Karayiannis:1999:RLV% }. \NAMECITE{{BDI}}{% Burkhard:1997:DBA% }. \NAMECITE{Behavior}{% Wagner:1996:DOB% }. \NAMECITE{Behaviour}{% Skarbek:1996:DBS% }. \NAMECITE{behaviours}{% Darondeau:1990:IBI% }. \NAMECITE{Belief}{% Alferes:1996:BRN,% Gomolinska:1998:CIM,% Ho:1996:MLR,% Segerberg:1997:PTB% }. \NAMECITE{Beliefs}{% Kundu:1997:NMC,% Maida:1991:SAI% }. \NAMECITE{Between}{% Amin:1998:RRB,% Bandyopadhyay:1999:RBV,% Gramlich:1995:ARB,% Liau:1996:AFR,% Mislove:1995:ABC,% Preoteasa:1999:RBU,% Trakhtenbrot:1996:PCP,% Trakhtenbrot:1997:PCP% }. \NAMECITE{Bi}{% Bucciarelli:1997:BMR% }. \NAMECITE{Bi-models}{% Bucciarelli:1997:BMR% }. \NAMECITE{Bilinear}{% Lambek:1995:CEC% }. \NAMECITE{Binary}{% Ding:1999:CEA,% Heinemann:1999:CCM,% Buning:1990:TAC% }. \NAMECITE{Bisimulation}{% Bergstra:1996:PME,% Fokkink:1996:CAP,% Fokkink:1997:ARP,% Nielsen:1999:BOM,% deBakker:1994:BSC,% Montanari:1992:DCV% }. \NAMECITE{Block}{% Rey:1997:BPC% }. \NAMECITE{Blocking}{% Paun:1996:CGP% }. \NAMECITE{{Boolean}}{% Ehrenfeucht:1992:RPB,% Jankowski:1991:CSB,% Kolpakov:1995:CGR,% Moshkov:1995:ADD% }. \NAMECITE{Bottom}{% Fuchs:1999:USC% }. \NAMECITE{Bottom-up}{% Fuchs:1999:USC% }. \NAMECITE{Bound}{% Drewes:1996:LBG% }. \NAMECITE{Bounds}{% Hromkovic:1996:TLB,% Moshkov:1996:SBM,% Moshkov:1997:BAW,% Moshkov:1997:UUB% }. \NAMECITE{Bracketed}{% Kappes:1999:MBC% }. \NAMECITE{Branching}{% Chikalov:1999:ATC,% Fokkink:1996:CAP,% Fokkink:1997:ARP% }. \NAMECITE{Building}{% Castro:1998:BCS,% Peltier:1997:TAA% }. \NAMECITE{{Bush}}{% Kraus:1991:RAI% }. \NAMECITE{calculate}{% Gasarch:1992:LPE% }. \NAMECITE{Calculi}{% Ferrari:1997:ACC,% Fuchs:1999:USC,% Kandulski:1997:GAL,% Breazu-Tannen:1993:CET% }. \NAMECITE{Calculus}{% Alessi:1997:CPL,% Corradini:1996:FPO,% Czaja:1999:RHS,% Jung:1999:MLS,% Konikowska:1996:MAM,% Laneve:1994:DEC,% Majorinc:1997:ERN,% Middelburg:1998:TDC,% Pigozzi:1997:LAA,% Pigozzi:1998:LAA,% Leivant:1993:LCC% }. \NAMECITE{Can}{% Ginsberg:1994:WDC% }. \NAMECITE{Canonical}{% Bockmayr:1995:NSA,% Buszkowski:1997:RRS% }. \NAMECITE{Can't}{% Ginsberg:1994:WDC% }. \NAMECITE{Capacity}{% Dassow:1995:GCC,% Makinen:1992:GCC% }. \NAMECITE{{Cartesian}}{% Stephens:1996:CST% }. \NAMECITE{Case}{% Burago:1998:ACC,% Clark:1997:IIC,% Kundu:1997:NMC,% Egidi:1992:ODL% }. \NAMECITE{Case-Based}{% Clark:1997:IIC% }. \NAMECITE{Categorical}{% Brauner:1998:SAC,% Kasangian:1997:TLT,% Revesz:1995:CCE,% Hilken:1992:TCS% }. \NAMECITE{Categories}{% Jacobs:1995:PPS,% Mislove:1995:ABC,% Pomykala:1996:NCI,% Rey:1997:BPC,% Rey:1997:KRM,% Wagner:1995:FPS% }. \NAMECITE{Categorisation}{% Levene:1996:CCD% }. \NAMECITE{causal}{% Aceto:1992:HPC,% Aceto:1992:RDT% }. \NAMECITE{Causality}{% Janicki:1999:CSN% }. \NAMECITE{Cause}{% Czaja:1998:CES,% Czaja:1998:MMT,% Czaja:1999:RHS,% Maggiolo-Schettini:1997:PCE% }. \NAMECITE{Cause-Effect}{% Czaja:1998:CES,% Czaja:1998:MMT,% Czaja:1999:RHS,% Maggiolo-Schettini:1997:PCE% }. \NAMECITE{{CCS}}{% Montanari:1992:DCV,% Montanari:1994:CCP% }. \NAMECITE{{Cecylia}}{% Komorowski:1997:GEP% }. \NAMECITE{Cellular}{% Kari:1999:CDS,% Wlaz:1991:UWS% }. \NAMECITE{Certain}{% Dassow:1995:GCC,% Heinemann:1999:CCM,% Kudlek:1999:ILC% }. \NAMECITE{Chain}{% Rudolph:1998:FMC% }. \NAMECITE{Chains}{% Boldi:1996:MCA% }. \NAMECITE{chameleonic}{% Subrahmanian:1990:LFR% }. \NAMECITE{Change}{% Gomolinska:1998:CIM,% Lobo:1996:ACO% }. \NAMECITE{Channel}{% Czaja:1999:RHS% }. \NAMECITE{Chaotic}{% Sinha:1999:CDI% }. \NAMECITE{Characteristics}{% Winkowski:1998:PCN% }. \NAMECITE{Characterization}{% Berard:1998:CEP,% Skandalis:1994:CIS,% Fulop:1990:CIS% }. \NAMECITE{characterizations}{% Leivant:1993:LCC% }. \NAMECITE{Children}{% Fitting:1994:KTV% }. \NAMECITE{{Chomsky}}{% Fachini:1997:CHS,% Paun:1997:CSC% }. \NAMECITE{Circuit}{% Kari:1999:CDS,% Lee:1997:FVD% }. \NAMECITE{Circumscribed}{% Doherty:1996:RRC% }. \NAMECITE{Circumscribing}{% Kundu:1997:NMC% }. \NAMECITE{Circumscription}{% Bertossi:1994:CGM,% Cadoli:1994:AID,% Cadoli:1995:AID,% Doherty:1998:GDC% }. \NAMECITE{{Clark}}{% Baratella:1991:MCC% }. \NAMECITE{Clashes}{% Miller:1995:CSC% }. \NAMECITE{Class}{% Gramatovici:1998:EPC% }. \NAMECITE{Classes}{% Dassow:1995:GCC,% Hage:1999:MPS,% Kudlek:1999:ILC,% Skyum:1999:CIL,% Stewart:1995:RSC,% Tendera:1994:NAP,% Baratella:1991:MCC,% Hilken:1992:TCS,% Keesmaat:1990:VCC% }. \NAMECITE{Classical}{% Lambek:1995:CEC,% Murray:1994:ACI% }. \NAMECITE{Classification}{% Clark:1997:IIC,% Dix:1995:CTSa,% Dix:1995:CTSb,% Giordana:1998:LCP,% Grzymala-Busse:1997:CUE,% Ziarko:1997:MLT,% Apt:1990:ACP,% Apt:1991:ACP,% Zhang:1990:CES% }. \NAMECITE{classifier}{% Bandyopadhyay:1999:RBV% }. \NAMECITE{Clausal}{% Majorinc:1997:ERN% }. \NAMECITE{Clause}{% Bonacina:1995:CDM% }. \NAMECITE{Clause-Diffusion}{% Bonacina:1995:CDM% }. \NAMECITE{Clauses}{% Fuchs:1999:USC% }. \NAMECITE{{Clifford}}{% Fevre:1999:CCA% }. \NAMECITE{Closed}{% Jankowski:1991:CSB,% Ruiz:1997:CCW% }. \NAMECITE{closure}{% Bagai:1990:DCO% }. \NAMECITE{Co}{% Kersten:1997:FAS% }. \NAMECITE{Co-Operative}{% Kersten:1997:FAS% }. \NAMECITE{Coded}{% Ehrenfeucht:1995:GCT% }. \NAMECITE{Codes}{% Ding:1999:CEA,% Ehrenfeucht:1995:GCT% }. \NAMECITE{Coding}{% Ballarin:1999:PAE,% Cieplinski:1998:ECM,% Cieplinski:1998:RIV,% Zhiltsova:1998:EOC% }. \NAMECITE{Coherent}{% Jung:1999:MLS% }. \NAMECITE{coincides}{% Przymusinski:1990:WFS% }. \NAMECITE{Coinductive}{% Brandt:1998:CAR% }. \NAMECITE{Collage}{% Drewes:1996:DGP% }. \NAMECITE{Combinational}{% Lee:1997:FVD% }. \NAMECITE{Combinatorial}{% Findler:1997:STR% }. \NAMECITE{Combinators}{% Revesz:1995:CCE% }. \NAMECITE{Combining}{% Clark:1997:IIC,% Fevre:1999:CCA,% Montanari:1994:CCP,% Ruiz:1997:CCW% }. \NAMECITE{Common}{% Tsumoto:1996:CAF% }. \NAMECITE{Communicating}{% Romanowska:1990:CPE,% Paun:1996:PCG% }. \NAMECITE{Communication}{% Czaja:1999:RHS% }. \NAMECITE{Commutative}{% Esparza:1997:PNC% }. \NAMECITE{Comonads}{% Asperti:1995:LLC% }. \NAMECITE{Compact}{% Hofmann:1995:ACH% }. \NAMECITE{compactness}{% Leischner:1992:CTP% }. \NAMECITE{Comparison}{% Yao:1996:CRS% }. \NAMECITE{comparisons}{% Keesmaat:1991:VCC% }. \NAMECITE{Comparitive}{% Moshkov:1996:CAD% }. \NAMECITE{Compatible}{% Bern:1995:CT% }. \NAMECITE{Compiler}{% Mohnen:1997:CCP% }. \NAMECITE{Complete}{% Fokkink:1996:CAP% }. \NAMECITE{completed}{% Kunen:1990:SRC% }. \NAMECITE{Completenesess}{% Trakhtenbrot:1997:PCP% }. \NAMECITE{Completeness}{% Moser:1994:CSA,% Trakhtenbrot:1996:PCP,% Gelfond:1992:CCA% }. \NAMECITE{Completion}{% Lynch:1999:BCC,% Baratella:1991:MCC% }. \NAMECITE{completions}{% Subrahmanian:1990:LFR% }. \NAMECITE{Complexity}{% Baaz:1994:SPC,% Burago:1998:ACC,% Chikalov:1999:ATC,% Cholak:1994:CLS,% Dudakov:1999:CPM,% Egly:1999:IPT,% Heinemann:1999:CCM,% Ilie:1997:CCM,% Kolpakov:1995:CGR,% Lange:1996:CSF,% Marek:1997:CRN,% Moshkov:1996:CAD,% Moshkov:1997:UUB,% Skyum:1999:CIL,% Buning:1990:TAC,% Makinen:1992:GID,% Niemela:1992:DCA% }. \NAMECITE{Composed}{% Kryszkiewicz:1996:CRC% }. \NAMECITE{Composition}{% Best:1999:GCO,% Stephens:1996:CST% }. \NAMECITE{Compositional}{% Trakhtenbrot:1994:CPN,% Trakhtenbrot:1996:PCP,% Trakhtenbrot:1997:PCP,% Maggiolo-Schettini:1990:CST,% Schettini:1991:CSU% }. \NAMECITE{Comprehensive}{% Chitil:1997:SCS,% Intrigila:1999:CSM% }. \NAMECITE{Compression}{% Mitra:1998:SPI,% Przelaskowski:1998:DPW,% Rakowski:1998:DFW,% Skarbek:1997:RIC,% Skarbek:1998:MOR,% Skarbek:1998:PSI% }. \NAMECITE{Computable}{% Calude:1998:CAR,% Levene:1996:CCD,% Tyszkiewicz:1997:QAC% }. \NAMECITE{Computation}{% DeJong:1998:ECW,% Devillers:1999:GRT,% Ehrenfeucht:1997:SNT,% Fogel:1998:UFH,% Kirkpatrick:1995:TPS,% Kryszkiewicz:1996:CRC,% Martin-Vide:1997:NCN,% Rudolph:1998:FMC,% Su:1999:CES% }. \NAMECITE{Computational}{% Derencourt:1996:CPW,% Ilie:1997:CCM% }. \NAMECITE{Computed}{% Drewes:1996:LBG% }. \NAMECITE{Computer}{% Ballarin:1999:PAE,% Bertoli:1999:SIT,% Frias:1997:FAA% }. \NAMECITE{Computing}{% Deaton:1998:DCR,% DiGesu:1999:AVS,% Fevre:1999:CCA,% Kirkpatrick:1995:TPS,% Moshkov:1995:ADD,% Pal:1999:PSI,% Seredynski:1998:NTP% }. \NAMECITE{Concatenable}{% Winkowski:1996:CWP% }. \NAMECITE{Concept}{% Kent:1996:RCA,% Tanaka:1999:IRA,% Zytkow:1997:CTF% }. \NAMECITE{Conception}{% Bryniarski:1996:FCR% }. \NAMECITE{Concepts}{% Zytkow:1997:CTF,% Krynicki:1990:NRC% }. \NAMECITE{Concerning}{% Honkala:1997:DPC,% Spilker:1996:SUR,% Turakainen:1999:DSP,% Novotny:1992:PCD% }. \NAMECITE{Concurrence}{% Korczynsky:1996:NC% }. \NAMECITE{Concurrency}{% Ferrari:1997:ACC,% Maggiolo-Schettini:1999:ATA,% deBakker:1994:BSC,% Broy:1992:ODS,% Murphy:1993:TDN% }. \NAMECITE{Concurrent}{% Arnold:1999:AFD,% Baier:1997:HIE,% Dembinski:1997:STC,% Montanari:1997:CFS,% Rety:1998:DCC,% Suraj:1996:DCD,% Keesmaat:1990:VCC,% Keesmaat:1991:VCC,% Loogen:1991:MNC% }. \NAMECITE{Conditional}{% Baral:1994:VSF,% Felea:1995:FCI% }. \NAMECITE{Conditionals}{% Horty:1991:CAI% }. \NAMECITE{Conditions}{% Habel:1996:GGN% }. \NAMECITE{Configurations}{% Alon:1995:LNC% }. \NAMECITE{Confluence}{% Gramlich:1995:ARB,% delCerro:1999:TBD% }. \NAMECITE{conformisms}{% Llabres:1997:DPH% }. \NAMECITE{congruence}{% Montanari:1992:DCV% }. \NAMECITE{Congruences}{% Madlener:1997:SUR% }. \NAMECITE{Consequence}{% Chakraborty:1997:GCS,% Dimov:1998:SCS,% Stalnaker:1994:WNC% }. \NAMECITE{Conservativity}{% Breazu-Tannen:1993:CET% }. \NAMECITE{Consistency}{% Baier:1997:HIE,% Gelfond:1992:CCA% }. \NAMECITE{Constrained}{% Cieplinski:1998:ECM% }. \NAMECITE{Constraint}{% Apt:1998:PTV,% Castro:1998:BCS,% Harper:1995:MMK,% Kirchner:1998:RBC,% Monfroy:1999:OAF,% Rety:1998:DCC,% Apt:1998:GEP% }. \NAMECITE{Constraint-Based}{% Harper:1995:MMK% }. \NAMECITE{Constraints}{% Zhang:1997:DIC,% Huynh:1991:PTR% }. \NAMECITE{Constructing}{% Alexandre:1997:MCL% }. \NAMECITE{Construction}{% Diekert:1996:NMC,% Ding:1999:CEA,% Knijnenburg:1996:NSP% }. \NAMECITE{Constructive}{% Egly:1999:IPT% }. \NAMECITE{Constructor}{% Bethke:1996:ECI% }. \NAMECITE{Context}{% Berstel:1996:TAT,% Besnard:1995:ACB,% Bhatnagar:1995:CHU,% Esparza:1997:PNC,% Hotz:1997:USD,% Makinen:1996:TUA,% Makinen:1997:PAP,% Miller:1995:CSC,% Perlis:1995:PCT,% Przelaskowski:1998:DPW,% Makinen:1991:HCF,% Makinen:1992:GCC,% Makinen:1992:GID% }. \NAMECITE{Context-Based}{% Besnard:1995:ACB,% Przelaskowski:1998:DPW% }. \NAMECITE{Context-Free}{% Berstel:1996:TAT,% Esparza:1997:PNC,% Makinen:1996:TUA,% Makinen:1991:HCF,% Makinen:1992:GCC,% Makinen:1992:GID% }. \NAMECITE{Contexts}{% Buvac:1995:MC,% Novotny:1993:DWC% }. \NAMECITE{Contextual}{% Gramatovici:1998:EPC,% Ilie:1997:CCM,% Kappes:1999:MBC,% Mitrana:1998:PCG,% Paun:1996:CGP,% Winkowski:1998:PCN,% Zhang:1995:CRA% }. \NAMECITE{Contingency}{% Zytkow:1997:CTF% }. \NAMECITE{Contributions}{% Marek:1999:CTR% }. \NAMECITE{Control}{% Back:1998:OPC,% Ferrari:1997:ACC,% Koshiba:1997:HSL,% Sastry:1999:DEB% }. \NAMECITE{Controlled}{% Paun:1997:CSC,% Paun:1997:CSS,% Keesmaat:1990:VCC,% Keesmaat:1991:VCC% }. \NAMECITE{Controller}{% Sastry:1999:DEB% }. \NAMECITE{Controllers}{% Mrozek:1997:KRF% }. \NAMECITE{Convergence}{% Skarbek:1998:AFO,% Skarbek:1998:MOR% }. \NAMECITE{Convex}{% Alessi:1997:CPL,% Icking:1995:CDF% }. \NAMECITE{Cooperating}{% Amin:1998:RRB,% Dassow:1995:GCC% }. \NAMECITE{Coordinatizing}{% Pigozzi:1997:LAA,% Pigozzi:1998:LAA% }. \NAMECITE{Cores}{% Bogdanovic:1999:TCE% }. \NAMECITE{Correctness}{% Mohnen:1997:CCP% }. \NAMECITE{Correspondence}{% Turakainen:1999:DSP% }. \NAMECITE{Cost}{% Penttonen:1999:RCR,% Zhiltsova:1998:EOC% }. \NAMECITE{{COSY}}{% Koutny:1999:PLC% }. \NAMECITE{Coupled}{% Hotz:1997:USD% }. \NAMECITE{Coupled-Context-Free}{% Hotz:1997:USD% }. \NAMECITE{{CR}}{% Schmitt:1998:CS% }. \NAMECITE{{CR}-Structures}{% Schmitt:1998:CS% }. \NAMECITE{Credibility}{% Gomolinska:1998:CIM% }. \NAMECITE{Critical}{% Boddy:1994:CEM% }. \NAMECITE{Crossing}{% Alon:1995:LNC% }. \NAMECITE{{CSP}}{% Peters:1997:MRT% }. \NAMECITE{{CTL*}}{% Koutny:1991:ASI% }. \NAMECITE{Cubic}{% Bondarenko:1996:APC% }. \NAMECITE{Curves}{% Sendra:1999:ARR% }. \NAMECITE{Cut}{% Lambek:1995:CEC% }. \NAMECITE{cycle}{% Lynch:1999:BCC% }. \NAMECITE{{D0L}}{% Honkala:1999:EPD% }. \NAMECITE{Dangers}{% Findler:1997:STR% }. \NAMECITE{Data}{% Liau:1996:AFR,% Nguyen:1998:PED,% Preoteasa:1999:RBU,% Slowinski:1996:RSR,% Suraj:1996:DCD,% Ziarko:1997:MLT% }. \NAMECITE{Database}{% Levene:1996:CCD,% Rishe:1996:UMN,% Kunen:1990:SRC,% Vidyasankar:1991:UTD% }. \NAMECITE{Databases}{% Doherty:1999:MQD,% Johnson:1999:PDD,% Jankowski:1991:CSB,% Rauszer:1993:DRD% }. \NAMECITE{Dataflow}{% Stark:1995:ADN% }. \NAMECITE{{Daubechies}}{% Rakowski:1998:DFW% }. \NAMECITE{{DAWN}}{% Baar:1999:IDV% }. \NAMECITE{Deadline}{% Devillers:1999:GRT% }. \NAMECITE{Deadlock}{% Heljanko:1999:ULP% }. \NAMECITE{Decidability}{% Drewes:1996:DGP,% Kiehn:1997:DNI,% Turakainen:1999:DSP,% Niemela:1992:DCA% }. \NAMECITE{decidable}{% Danko:1993:SPA% }. \NAMECITE{Decision}{% Chikalov:1999:ATC,% Dubois:1999:UPL,% Honkala:1997:DPC,% Kersten:1997:FAS,% Michalski:1997:LDS,% Moshkov:1994:OPD,% Moshkov:1995:ADD,% Moshkov:1996:CAD,% Moshkov:1996:SBM,% Moshkov:1997:BAW,% Moshkov:1997:UUB,% Skowron:1996:AMM,% Skowron:1997:DAS,% Son:1998:OHO,% delCerro:1999:TBD% }. \NAMECITE{Decision-Making}{% Kersten:1997:FAS% }. \NAMECITE{Declarative}{% Bujosa:1996:SED% }. \NAMECITE{Decompositions}{% Bogdanovic:1999:TCE% }. \NAMECITE{Deduction}{% Bonacina:1995:CDM,% Szalas:1996:NDF,% Vigneron:1998:ADT% }. \NAMECITE{Deductive}{% Doherty:1999:MQD,% Johnson:1999:PDD% }. \NAMECITE{Default}{% Besnard:1994:PWS,% Besnard:1995:ACB,% Brewka:1997:WFS,% Cadoli:1994:AID,% Cadoli:1995:AID,% Marek:1997:CRN,% Meyer:1995:DLB,% Minker:1994:SDL,% Przymusinska:1994:SDE,% Schlechta:1996:TSA,% Su:1999:CES,% Kaminski:1991:EDS,% Marek:1992:MMA,% Zhang:1990:CES% }. \NAMECITE{Defaults}{% Boddy:1994:CEM,% Ginsberg:1994:WDC% }. \NAMECITE{Defeasible}{% McCarty:1994:DDR% }. \NAMECITE{Defect}{% Karhumaki:1999:DTT% }. \NAMECITE{Definability}{% Czaja:1999:NDP% }. \NAMECITE{Defined}{% Kudlek:1998:ALR,% Magott:1995:PES,% Biela:1993:RSD% }. \NAMECITE{Defining}{% Burkhard:1997:DBA,% Wagner:1996:DOB% }. \NAMECITE{Definitional}{% Egly:1997:DTN% }. \NAMECITE{Definitions}{% Ambainis:1999:IIP% }. \NAMECITE{Degenerate}{% Hofmann:1995:ACH% }. \NAMECITE{Degree}{% Ho:1996:MLR% }. \NAMECITE{Deletion}{% Kari:1993:DS% }. \NAMECITE{Delivery}{% Khouja:1998:EAE% }. \NAMECITE{Deluge}{% Michalski:1997:SKD% }. \NAMECITE{Denotational}{% Blikle:1996:WD,% Broy:1992:ODS,% Egidi:1992:ODL% }. \NAMECITE{Density}{% delCerro:1999:TBD% }. \NAMECITE{{Deontic}}{% McCarty:1994:DDR% }. \NAMECITE{Dependence}{% Gecseg:1996:DA,% Jarvinen:1997:RDS,% Marcus:1996:SSD,% Novotny:1992:NAA,% Novotny:1992:PCD,% Novotny:1993:DWC% }. \NAMECITE{Dependencies}{% Blair:1996:DD,% Duntsch:1997:AAA,% Felea:1995:FCI,% Rauszer:1993:DRD% }. \NAMECITE{Dependent}{% Longo:1995:PTD% }. \NAMECITE{Depth}{% Kari:1999:CDS,% Moshkov:1995:ADD,% Moshkov:1996:SBM,% Moshkov:1997:BAW% }. \NAMECITE{Derivation}{% Paun:1996:CGP% }. \NAMECITE{derivational}{% Makinen:1992:GID% }. \NAMECITE{derivations}{% Makinen:1991:HCF% }. \NAMECITE{Deriving}{% Zhang:1997:DIC% }. \NAMECITE{Describing}{% Arnold:1999:AFD% }. \NAMECITE{description}{% Woltert:1999:MDL% }. \NAMECITE{descriptions}{% Egidi:1992:ODL,% Gorrieri:1992:HSD% }. \NAMECITE{Designing}{% Blair:1996:DD% }. \NAMECITE{Designs}{% Lee:1997:FVD% }. \NAMECITE{Detail}{% Przelaskowski:1998:DPW% }. \NAMECITE{Detection}{% Skordev:1997:AAS% }. \NAMECITE{Determination}{% Bandyopadhyay:1999:RBV% }. \NAMECITE{Deterministic}{% Eppstein:1995:DLT,% Moshkov:1996:CAD% }. \NAMECITE{{DF0L}}{% Honkala:1999:EPD% }. \NAMECITE{d'Horizon}{% Rudolph:1998:FMC% }. \NAMECITE{Diagnosis}{% Lee:1997:FVD% }. \NAMECITE{diagram}{% Danko:1993:SPA% }. \NAMECITE{Dialogues}{% Miller:1995:CSC% }. \NAMECITE{Diamond}{% Hoodgeboom:1991:DPE% }. \NAMECITE{Different}{% Icking:1995:CDF% }. \NAMECITE{Differential}{% Sastry:1999:DEB% }. \NAMECITE{Diffusion}{% Bonacina:1995:CDM% }. \NAMECITE{Dimensional}{% Giammarresi:1996:TDF% }. \NAMECITE{Directions}{% Basarab:1997:DFG% }. \NAMECITE{Discovery}{% Suraj:1996:DCD,% Zytkow:1996:ADE% }. \NAMECITE{Discrete}{% Baeten:1997:DTP% }. \NAMECITE{Disjunctive}{% Dix:1996:RDN,% Johnson:1999:PDD,% Khamsi:1997:DSL,% Minker:1994:SDL% }. \NAMECITE{Dissemilattices}{% Romanowska:1997:DSA% }. \NAMECITE{Distance}{% Icking:1995:CDF% }. \NAMECITE{Distinguishability}{% Jurvanen:1999:DSU% }. \NAMECITE{Distributed}{% Amin:1998:RRB,% Baar:1999:IDV,% Bonacina:1995:CDM,% Kindler:1999:IDA,% Rety:1998:DCC,% Rusinkiewicz:1997:TWD,% Seredynski:1998:NTP,% Aceto:1992:RDT,% Ras:1991:QPD% }. \NAMECITE{Distribution}{% Chlebus:1997:TOT% }. \NAMECITE{Distributions}{% Burago:1998:ACC% }. \NAMECITE{Distributive}{% Hromkovic:1996:TLB,% Jacobs:1995:PPS,% Laneve:1994:DEC,% Wagner:1995:FPS,% Hirani:1990:AFL% }. \NAMECITE{Diversity}{% Martin:1995:DOS% }. \NAMECITE{Division}{% Rey:1997:BPC% }. \NAMECITE{{DKBS}}{% Ras:1997:QAA% }. \NAMECITE{{DNA}}{% Deaton:1998:DCR% }. \NAMECITE{Do}{% Ginsberg:1994:WDC,% Mirkowska:1996:ASD% }. \NAMECITE{Domain}{% Bucciarelli:1997:BMR,% Doherty:1998:GDC,% Stachniak:1990:RDS% }. \NAMECITE{Domain-theoretic}{% Bucciarelli:1997:BMR% }. \NAMECITE{Domains}{% Heckmann:1995:LBD,% Mislove:1995:ABC% }. \NAMECITE{Double}{% Llabres:1997:DPH% }. \NAMECITE{Double-pushout}{% Llabres:1997:DPH% }. \NAMECITE{Down}{% Noll:1994:TPS,% Fuchs:1999:USC% }. \NAMECITE{downward}{% Bagai:1990:DCO% }. \NAMECITE{Driven}{% Devillers:1999:GRT% }. \NAMECITE{{DTOL}}{% Honkala:1997:DPC% }. \NAMECITE{Duadic}{% Ding:1999:CEA% }. \NAMECITE{Duration}{% Middelburg:1998:TDC,% Murphy:1993:TDN% }. \NAMECITE{{Dyck}}{% Hotz:1997:USD% }. \NAMECITE{Dynamic}{% Montanari:1992:DCV,% Skarbek:1996:DBS,% Biela:1993:RSD% }. \NAMECITE{Dynamics}{% Sinha:1999:CDI% }. \NAMECITE{{E}-cycle}{% Lynch:1999:BCC% }. \NAMECITE{easy}{% Gasarch:1992:LPE% }. \NAMECITE{Ecological}{% Kubota:1999:EMV% }. \NAMECITE{Economic}{% Khouja:1998:EAE% }. \NAMECITE{{Editor}}{% Komorowski:1994:GEP,% Plaisted:1995:EP,% Revesz:1995:GEN% }. \NAMECITE{{Editors}}{% Apt:1998:GEP,% Komorowski:1997:GEP,% Michalewicz:1997:GEN% }. \NAMECITE{Effect}{% Czaja:1998:CES,% Czaja:1998:MMT,% Czaja:1999:RHS,% Maggiolo-Schettini:1997:PCE% }. \NAMECITE{Effective}{% Doherty:1998:GDC% }. \NAMECITE{Efficient}{% Gramatovici:1998:EPC% }. \NAMECITE{Elementary}{% Pietkiewicz-Koutny:1999:SPE,% Hoodgeboom:1991:DPE% }. \NAMECITE{Elements}{% Bujosa:1996:SED% }. \NAMECITE{Elimination}{% Lambek:1995:CEC% }. \NAMECITE{Embedding}{% Kaminski:1991:EDS% }. \NAMECITE{Empirical}{% Tsumoto:1996:CAF,% Zytkow:1996:ADE% }. \NAMECITE{entrenchment}{% Boutilier:1992:EEA% }. \NAMECITE{Entries}{% Bergstra:1996:PME% }. \NAMECITE{entropic}{% Romanowska:1990:CPE% }. \NAMECITE{Entropy}{% Cieplinski:1998:ECM,% Zhiltsova:1998:EOC% }. \NAMECITE{Entropy-Constrained}{% Cieplinski:1998:ECM% }. \NAMECITE{Enumerability}{% Sopena:1996:EGR% }. \NAMECITE{Enumeration}{% Ding:1999:CEA% }. \NAMECITE{Epistemic}{% Boutilier:1992:EEA,% Meyer:1995:DLB% }. \NAMECITE{Equality}{% Brandt:1998:CAR% }. \NAMECITE{Equation}{% Vagvolgyi:1998:SMG% }. \NAMECITE{Equational}{% Ariola:1996:ETG,% Benhamou:1999:HMF,% Bethke:1996:ECI,% deKogel:1995:RAE,% Breazu-Tannen:1993:CET% }. \NAMECITE{Equations}{% Bohm:1999:FPE,% Bujosa:1996:SED,% Bujosa:1997:UNS,% Friedman:1999:FIE,% Ilie:1999:SPF,% Stark:1998:NER% }. \NAMECITE{Equivalence}{% Hirshfeld:1996:ULE,% Honkala:1999:EPD,% Ruohonen:1999:SER,% Skyum:1999:CIL,% Aceto:1992:HPC% }. \NAMECITE{Equivalences}{% Kiehn:1997:DNI% }. \NAMECITE{errors}{% Gasarch:1992:LPE% }. \NAMECITE{{ESM}}{% Janssens:1996:ASE% }. \NAMECITE{Establish}{% Baier:1997:HIE% }. \NAMECITE{{Estelle}}{% Magott:1995:PES% }. \NAMECITE{{ETOL}}{% Honkala:1996:PSG% }. \NAMECITE{Evaluation}{% Huzar:1997:SSR,% Magott:1995:PES,% Moggi:1995:SEL,% Noll:1994:TPS% }. \NAMECITE{Evaluations}{% Laneve:1994:DEC% }. \NAMECITE{Even}{% Makinen:1996:NGI% }. \NAMECITE{event}{% Aceto:1992:HPC,% Loogen:1991:MNC% }. \NAMECITE{evidence}{% Skowron:1990:RST% }. \NAMECITE{Evidential}{% Liau:1996:AFR% }. \NAMECITE{Evolution}{% Angeline:1998:HPE,% Sastry:1999:DEB,% Sebag:1998:RME% }. \NAMECITE{Evolutionary}{% Back:1998:OPC,% DeJong:1998:ECW,% Eiben:1998:EEE,% Esquivel:1998:SME,% Fogel:1998:UFH,% Khouja:1998:EAE,% Kubota:1999:EMV,% Rudolph:1998:FMC,% Seredynski:1998:NTP% }. \NAMECITE{Evolving}{% Mohnen:1997:CCP% }. \NAMECITE{Examination}{% Boddy:1994:CEM% }. \NAMECITE{Examples}{% Grzymala-Busse:1997:CUE% }. \NAMECITE{Exclusion}{% Ordman:1999:GME% }. \NAMECITE{Executable}{% Angeline:1998:HPE% }. \NAMECITE{Executing}{% Kowalski:1998:ESL% }. \NAMECITE{existence}{% Zhang:1990:CES% }. \NAMECITE{Existential}{% Tendera:1994:NAP,% Tyszkiewicz:1997:QAC,% Urzyczyn:1993:PRE% }. \NAMECITE{Exits}{% Bergstra:1996:PME% }. \NAMECITE{Expanding}{% Sopena:1996:EGR% }. \NAMECITE{expansions}{% Eiter:1992:RPM% }. \NAMECITE{Experimental}{% Suraj:1996:DCD% }. \NAMECITE{Explanation}{% Wierzchon:1997:RFE% }. \NAMECITE{Explicit}{% Minker:1994:SDL,% Revesz:1995:CCE,% Broy:1992:ODS% }. \NAMECITE{Exploitation}{% Eiben:1998:EEE% }. \NAMECITE{Exploration}{% Eiben:1998:EEE% }. \NAMECITE{Explosion}{% Findler:1997:STR% }. \NAMECITE{Expressibility}{% Hungar:1994:ESS% }. \NAMECITE{Expressible}{% Ilie:1999:SPF% }. \NAMECITE{Expressing}{% Robertson:1994:EPR% }. \NAMECITE{Expressions}{% Hirshfeld:1996:ULE,% Preoteasa:1999:RBU% }. \NAMECITE{Expressive}{% Berard:1998:CEP% }. \NAMECITE{Extended}{% Grigoriev:1996:SPN,% Jategaonkar:1993:TIE,% Levene:1993:FPN% }. \NAMECITE{Extending}{% Ballarin:1999:PAE% }. \NAMECITE{Extensible}{% Bono:1999:SEI% }. \NAMECITE{Extension}{% Katzberg:1996:VPE,% Majorinc:1997:ERN,% Monfroy:1999:OAF% }. \NAMECITE{Extensions}{% Bogdanovic:1999:TCE,% Huzar:1997:SSR,% Przymusinska:1994:SDE,% Ramakrishna:1995:SPL,% Su:1999:CES% }. \NAMECITE{Extraction}{% Nguyen:1998:PED% }. \NAMECITE{Factors}{% Ilie:1998:GFW% }. \NAMECITE{Facts}{% Michalski:1997:SKD,% Wierzchon:1997:RFE% }. \NAMECITE{failure}{% Truszczynski:1991:MNL% }. \NAMECITE{Fairness}{% Degano:1995:FP,% Rutten:1992:SAF% }. \NAMECITE{Families}{% Fernau:1996:GLF% }. \NAMECITE{Family}{% Felea:1995:FCI% }. \NAMECITE{Filters}{% Rakowski:1998:DFW% }. \NAMECITE{Finding}{% Chu:1994:MFS,% Junttila:1999:FSA% }. \NAMECITE{Finite}{% Benhamou:1999:HMF,% Derencourt:1996:CPW,% Giammarresi:1996:TDF,% Halava:1999:UIW,% Rudolph:1998:FMC,% Danko:1993:SPA,% Stachniak:1990:RDS,% Stepaniuk:1991:AFM% }. \NAMECITE{Finitely}{% Madlener:1997:SUR% }. \NAMECITE{First}{% Hungar:1994:ESS,% Lin:1996:FOR,% Schlechta:1996:TSA,% Szalas:1996:NDF% }. \NAMECITE{First-Order}{% Hungar:1994:ESS,% Lin:1996:FOR,% Szalas:1996:NDF% }. \NAMECITE{Five}{% Druzdzel:1997:FUP% }. \NAMECITE{Fix}{% Wagner:1995:FPS% }. \NAMECITE{Fix-Point}{% Wagner:1995:FPS% }. \NAMECITE{Fixed}{% Bohm:1999:FPE,% Kirkpatrick:1995:TPS% }. \NAMECITE{Fixed-Points}{% Kirkpatrick:1995:TPS% }. \NAMECITE{Fixpoint}{% Szalas:1996:NDF% }. \NAMECITE{flowchart}{% Cazanescu:1990:TNA% }. \NAMECITE{foldings}{% Basarab:1997:DFG% }. \NAMECITE{Fork}{% Frias:1997:FAA% }. \NAMECITE{Form}{% Egly:1997:DTN% }. \NAMECITE{Formal}{% Bryniarski:1996:FCR,% Kent:1996:RCA,% Kersten:1997:FAS,% Lange:1996:CSF,% Lee:1997:FVD,% Nirkhe:1995:FRT% }. \NAMECITE{Formalising}{% vanLinder:1998:FAO% }. \NAMECITE{Formalism}{% Arnold:1999:AFD,% Mauw:1990:PSF% }. \NAMECITE{Formalization}{% Attardi:1995:FV,% Gelfond:1990:FIR,% Gomolinska:1996:SNM,% Liau:1996:AFR% }. \NAMECITE{Forms}{% Bohm:1999:FPE% }. \NAMECITE{Formulae}{% Middelburg:1998:TDC% }. \NAMECITE{Formulas}{% Doherty:1996:RRC,% Heinemann:1999:CCM,% Murray:1994:ACI,% Danko:1993:SPA% }. \NAMECITE{Fossil}{% Fogel:1998:UFH% }. \NAMECITE{Foundation}{% Zytkow:1997:CTF,% Cazanescu:1990:TNA% }. \NAMECITE{Foundations}{% Apt:1998:GEP,% Wroblewski:1996:TFO,% Hirani:1990:AFL% }. \NAMECITE{Founded}{% Brewka:1997:WFS,% Przymusinski:1990:WFS% }. \NAMECITE{Four}{% Corradini:1996:FPO,% Corradini:1999:RAF% }. \NAMECITE{Fractal}{% Skarbek:1998:AFO% }. \NAMECITE{fragments}{% Marongiu:1993:UFT% }. \NAMECITE{Frames}{% Middelburg:1998:TDC% }. \NAMECITE{Framework}{% Chen:1994:LOK,% Hoogeboom:1996:TLA,% Monfroy:1999:OAF,% Tsumoto:1996:CAF,% Sakai:1993:FLP,% Subrahmanian:1990:LFR% }. \NAMECITE{Free}{% Berstel:1996:TAT,% Esparza:1997:PNC,% Hotz:1997:USD,% Ilie:1999:SPF,% Makinen:1996:TUA,% Makinen:1997:PAP,% Makinen:1991:HCF,% Makinen:1992:GCC,% Makinen:1992:GID% }. \NAMECITE{Full}{% denHartog:1999:FAM% }. \NAMECITE{fully}{% Levene:1993:FPN% }. \NAMECITE{Function}{% Mitra:1998:SPI,% Sinha:1999:CDI% }. \NAMECITE{Functional}{% Chitil:1997:SCS,% Montanari:1997:CFS% }. \NAMECITE{Functions}{% Baral:1994:VSF,% Drewes:1996:LBG,% Icking:1995:CDF,% Kolpakov:1995:CGR,% Moshkov:1995:ADD,% Pawlak:1996:RSR% }. \NAMECITE{Further}{% Paun:1992:FRR% }. \NAMECITE{Fuzzy}{% Biswas:1996:VFS,% Friedman:1999:FIE,% Mrozek:1997:KRF,% Sastry:1999:DEB,% Stoeva:1991:PFP% }. \NAMECITE{Gains}{% Hage:1999:MPS% }. \NAMECITE{Game}{% Vagvolgyi:1998:GTT% }. \NAMECITE{{Gaussian}}{% Burago:1998:ACC% }. \NAMECITE{General}{% Devillers:1999:GRT,% Doherty:1998:GDC,% Fu:1996:RMG,% Wanne:1999:GMA% }. \NAMECITE{Generalisation}{% DeLaHiguera:1996:STS% }. \NAMECITE{Generalised}{% Best:1999:GCO% }. \NAMECITE{Generalization}{% Honkala:1996:PSG,% Honkala:1997:DPC% }. \NAMECITE{Generalized}{% Chakraborty:1997:GCS,% Hirshfeld:1996:ULE,% Ilie:1998:GFW,% Kandulski:1997:GAL,% Ordman:1999:GME,% Barua:1991:GA,% Basarab:1997:DFG,% Novotny:1990:ROG% }. \NAMECITE{Generated}{% Drewes:1996:DGP,% Madlener:1997:SUR% }. \NAMECITE{Generation}{% Hromkovic:1996:TLB,% Kolpakov:1995:CGR,% Nguyen:1999:RSA% }. \NAMECITE{Generative}{% Dassow:1995:GCC,% Makinen:1992:GCC% }. \NAMECITE{Generic}{% Bertossi:1994:CGM% }. \NAMECITE{Genetic}{% Giordana:1998:LCP,% Kubota:1999:EMV,% Murthy:1998:OST,% Wroblewski:1996:TFO% }. \NAMECITE{Genomes}{% Dassow:1998:ROS% }. \NAMECITE{Geometric}{% Drewes:1996:DGP,% Eppstein:1995:DLT,% Fevre:1999:CCA,% Kirkpatrick:1995:TPS% }. \NAMECITE{Given}{% LaTorre:1998:SLI% }. \NAMECITE{Global}{% Deneva:1997:MLL,% Moshkov:1996:CAD% }. \NAMECITE{{Gorbachev}}{% Kraus:1991:RAI% }. \NAMECITE{Graded}{% Chakraborty:1997:GCS% }. \NAMECITE{Grammar}{% Amin:1998:RRB,% Dassow:1995:GCC,% Fernau:1996:GLF,% Mitrana:1995:SGS,% Paun:1996:PCG% }. \NAMECITE{Grammars}{% Drewes:1996:DGP,% Ehrenfeucht:1995:GCT,% Esparza:1997:PNC,% Habel:1996:GGN,% Kandulski:1997:GAL,% Kappes:1999:MBC,% Makinen:1996:TUA,% Makinen:1997:PAP,% Martinek:1998:LPG,% Mitrana:1998:PCG,% Mosbah:1996:PGG,% Noll:1994:TPS,% Paun:1996:CGP,% Makinen:1992:GCC,% Makinen:1992:GID,% Novotny:1990:ROG% }. \NAMECITE{Grammatical}{% Ehrenfeucht:1995:GCT,% Makinen:1996:NGI,% Makinen:1992:GID% }. \NAMECITE{Graph}{% Ariola:1996:ETG,% Burago:1998:ACC,% Corradini:1996:GP,% Habel:1996:GGN,% Kudlek:1999:ILC,% Mosbah:1996:PGG,% Plump:1998:TGR,% Skarbek:1998:AFO,% Sopena:1996:EGR,% Taentzer:1996:TSA,% Wagner:1996:DOB% }. \NAMECITE{Graphs}{% Bondarenko:1996:APC,% Diekert:1996:NMC,% Maggiolo-Schettini:1997:POR,% Skarbek:1996:DBS% }. \NAMECITE{Ground}{% Vagvolgyi:1998:GTT,% Vagvolgyi:1998:SMG% }. \NAMECITE{grounded}{% Eiter:1992:RPM% }. \NAMECITE{Groups}{% Ruohonen:1999:SER% }. \NAMECITE{Growth}{% Drewes:1996:LBG% }. \NAMECITE{{GSP}}{% Gabarro:1995:RPL% }. \NAMECITE{Guest}{% Apt:1998:GEP,% Michalewicz:1997:GEN,% Komorowski:1994:GEP,% Komorowski:1997:GEP,% Revesz:1995:GEN% }. \NAMECITE{Guided}{% Chu:1994:MFS% }. \NAMECITE{Hand}{% Czaja:1999:RHS% }. \NAMECITE{Hand-Shake}{% Czaja:1999:RHS% }. \NAMECITE{Hard}{% Gottlob:1996:ASM% }. \NAMECITE{{Hausdorff}}{% Hofmann:1995:ACH% }. \NAMECITE{headed}{% DeJong:1998:ECW% }. \NAMECITE{{Herbrand}}{% Fitting:1996:MHT% }. \NAMECITE{Hierarchies}{% Ginsberg:1994:WDC,% Zytkow:1997:CTF% }. \NAMECITE{Hierarchy}{% Ben-Amram:1999:PVT,% Fachini:1997:CHS,% Koshiba:1997:HSL,% Paun:1997:CSC,% Gorrieri:1992:HSD,% Makinen:1991:HCF% }. \NAMECITE{High}{% Best:1999:GCO% }. \NAMECITE{High-level}{% Best:1999:GCO% }. \NAMECITE{Higher}{% Peters:1997:MRT,% Astesiano:1992:PHO% }. \NAMECITE{higher-order}{% Astesiano:1992:PHO% }. \NAMECITE{Historical}{% Angeline:1998:HPE% }. \NAMECITE{History}{% Aceto:1992:HPC,% Fogel:1998:UFH,% Steinbach:1995:SOH% }. \NAMECITE{{Horn}}{% Doherty:1996:RRC% }. \NAMECITE{Hybrid}{% Benhamou:1999:HMF% }. \NAMECITE{hypergraph}{% Llabres:1997:DPH% }. \NAMECITE{Hyperplanes}{% Son:1998:OHO% }. \NAMECITE{Hypothesis}{% Grigoriev:1996:SPN,% Schwind:1994:MLH% }. \NAMECITE{Hypothesization}{% Bhatnagar:1995:CHU% }. \NAMECITE{Idea}{% Baar:1999:IDV% }. \NAMECITE{Identical}{% LaTorre:1998:SLI% }. \NAMECITE{Identifying}{% Skyum:1999:CIL% }. \NAMECITE{ignorance}{% Kraus:1991:RAI% }. \NAMECITE{{II}}{% Brauner:1998:SAC,% Dix:1995:CTSb,% Fitting:1992:MVM,% Keesmaat:1991:VCC% }. \NAMECITE{{ILF}}{% Baar:1999:IDV% }. \NAMECITE{Image}{% Cieplinski:1998:ECM,% Cieplinski:1998:RIV,% Clark:1997:IIC,% Mitra:1998:SPI,% Rakowski:1998:DFW,% Skarbek:1997:RIC,% Skarbek:1998:MOR,% Skarbek:1998:PSI% }. \NAMECITE{Imagination}{% Nirkhe:1995:FRT% }. \NAMECITE{Implicational}{% Felea:1995:FCI% }. \NAMECITE{Improving}{% Clark:1997:IIC% }. \NAMECITE{Incomplete}{% Bono:1999:SEI,% Ras:1997:QAA,% Sakai:1993:FLP% }. \NAMECITE{Incompleteness}{% Gasquet:1995:NIR% }. \NAMECITE{inconsistent}{% Subrahmanian:1990:LFR% }. \NAMECITE{induced}{% Koutny:1991:ASI% }. \NAMECITE{Induction}{% Bethke:1996:ECI,% Grzymala-Busse:1997:NVR% }. \NAMECITE{Inductive}{% Ambainis:1999:IIP,% Fu:1996:RMG,% Pientka:1999:AIS,% Vakarelov:1992:IML% }. \NAMECITE{Inequalities}{% Pratt:1996:SIP% }. \NAMECITE{Inference}{% Ambainis:1999:IIP,% Cadoli:1994:AID,% Cadoli:1995:AID,% Makinen:1996:NGI,% Murray:1994:ACI,% Giannini:1993:TIS,% Jategaonkar:1993:TIE,% Makinen:1992:GID% }. \NAMECITE{Infinitary}{% Darondeau:1990:IBI% }. \NAMECITE{Information}{% Calude:1998:CAR,% Duntsch:1997:AAA,% Gomolinska:1998:CIM,% Green:1996:RSM,% Kryszkiewicz:1996:CRC,% Pomykala:1996:NCI,% Novotny:1992:NAA,% Ras:1991:QPD,% Rauszer:1992:LIS,% Sakai:1993:FLP% }. \NAMECITE{Information-Theoretic}{% Calude:1998:CAR% }. \NAMECITE{inheritance}{% Gelfond:1990:FIR% }. \NAMECITE{Inhibitor}{% Busi:1999:PSP,% Pietkiewicz-Koutny:1999:SPE% }. \NAMECITE{Injectivity}{% Koskinen:1999:NIK% }. \NAMECITE{Input}{% Skandalis:1994:CIS% }. \NAMECITE{Instance}{% Chu:1994:MFS% }. \NAMECITE{Instance-Based}{% Chu:1994:MFS% }. \NAMECITE{Integer}{% Halava:1999:UIW% }. \NAMECITE{Integral}{% Friedman:1999:FIE% }. \NAMECITE{Integrating}{% Kindler:1999:IDA% }. \NAMECITE{Integration}{% Bertoli:1999:SIT% }. \NAMECITE{intelligence}{% Horty:1991:CAI% }. \NAMECITE{Intelligent}{% Druzdzel:1997:FUP% }. \NAMECITE{Intensional}{% Leone:1994:MIL% }. \NAMECITE{Interleaving}{% Kiehn:1997:DNI% }. \NAMECITE{Interpret}{% Baier:1997:HIE% }. \NAMECITE{Intersection}{% vanBakel:1996:RIT% }. \NAMECITE{Interval}{% Kutty:1995:AIL,% Tanaka:1999:IRA,% Yao:1996:CRS% }. \NAMECITE{Interval-Set}{% Yao:1996:CRS% }. \NAMECITE{Introduction}{% Etherington:1994:ISI% }. \NAMECITE{introspection}{% Lakemeyer:1992:PIQ,% Maida:1991:SAI% }. \NAMECITE{Intuitionistic}{% Egly:1997:DTN,% Egly:1999:IPT% }. \NAMECITE{Invariants}{% Zhang:1997:DIC% }. \NAMECITE{irreducible}{% Fulop:1990:CIS% }. \NAMECITE{{ISMIS'93}}{% Komorowski:1994:GEP% }. \NAMECITE{Isomorphism}{% Bergstra:1996:PME,% Curien:1993:SI% }. \NAMECITE{Issue}{% Etherington:1994:ISI,% Pal:1999:PSI,% Skarbek:1998:PSI% }. \NAMECITE{Iterated}{% Sinha:1999:CDI% }. \NAMECITE{Iteration}{% Fokkink:1996:CAP,% Kudlek:1999:ILC% }. \NAMECITE{Iterative}{% Intrigila:1999:CSM,% Mitra:1998:SPI% }. \NAMECITE{Jumping}{% Tiplea:1997:JPN% }. \NAMECITE{Kernel}{% Rey:1997:KRM% }. \NAMECITE{{Kleene}}{% Fitting:1994:KTV% }. \NAMECITE{Knapsacks}{% Koskinen:1999:NIK% }. \NAMECITE{Know}{% Ejdys:1999:MWL% }. \NAMECITE{Knowing}{% Chen:1994:LOK% }. \NAMECITE{Knowledge}{% Bhatnagar:1995:CHU,% Druzdzel:1997:FUP,% Findler:1997:STR,% Harper:1995:MMK,% Ho:1996:MLR,% Leone:1994:MIL,% Michalski:1997:SKD,% Mrozek:1997:KRF,% Niemi:1999:SZK,% Parikh:1991:MNM% }. \NAMECITE{{Kripke}}{% Gasquet:1995:NIR% }. \NAMECITE{Labelled}{% Kasangian:1997:TLT% }. \NAMECITE{Labelling}{% Zantema:1995:TTR% }. \NAMECITE{Lambda}{% Hofmann:1995:ACH,% Leivant:1993:LCC,% Breazu-Tannen:1993:CET,% Pigozzi:1997:LAA,% Pigozzi:1998:LAA% }. \NAMECITE{{Lambek}}{% Kandulski:1997:GAL% }. \NAMECITE{{Lamport}}{% Ramakrishna:1995:SPL% }. \NAMECITE{Language}{% Fernau:1996:GLF,% Harper:1995:MMK,% Hirshfeld:1996:ULE,% Huzar:1997:SSR,% Lange:1996:CSF,% Magott:1995:PES,% Martin-Vide:1997:NCN,% Zhiltsova:1998:EOC% }. \NAMECITE{Languages}{% Baier:1997:HIE,% Berstel:1996:TAT,% Burkhard:1997:DBA,% Czaja:1999:NDP,% Gilleron:1995:RTL,% Gramatovici:1998:EPC,% Guo:1996:SL,% Honkala:1996:PSG,% Hoogeboom:1996:TLA,% Hotz:1997:USD,% Hromkovic:1996:TLB,% Ilie:1997:CCM,% Koshiba:1997:HSL,% Kudlek:1998:ALR,% Kudlek:1999:ILC,% Maggiolo-Schettini:1999:ATA,% Makinen:1996:NGI,% Paun:1997:RSA,% Rishe:1996:UMN,% Balanescu:1991:NPK,% Paun:1992:FRR% }. \NAMECITE{Large}{% Skyum:1999:CIL% }. \NAMECITE{Last}{% Tendera:1994:NAP% }. \NAMECITE{lattice}{% Hirani:1990:AFL% }. \NAMECITE{Lattices}{% Alessi:1997:CPL,% Robertson:1994:EPR% }. \NAMECITE{{Lauer}}{% Koutny:1999:PLC% }. \NAMECITE{Laws}{% Zytkow:1996:ADE% }. \NAMECITE{Learn}{% Ejdys:1999:MWL% }. \NAMECITE{Learning}{% Gasarch:1992:LPE,% Gasarch:1995:LQT,% Giordana:1998:LCP,% Karayiannis:1999:RLV,% Michalski:1997:LDS,% Sikora:1998:SAO,% Tsumoto:1996:CAF,% Ziarko:1997:MLT% }. \NAMECITE{left}{% Fulop:1990:CIS% }. \NAMECITE{left-linear}{% Fulop:1990:CIS% }. \NAMECITE{Lemmata}{% Kudlek:1999:ILC% }. \NAMECITE{Length}{% Ding:1999:CEA% }. \NAMECITE{{LERS}}{% Grzymala-Busse:1997:NVR% }. \NAMECITE{Less}{% Ejdys:1999:MWL% }. \NAMECITE{Letter}{% Madlener:1997:SUR,% Makinen:1992:GCC% }. \NAMECITE{level}{% Best:1999:GCO% }. \NAMECITE{Limited}{% Spilker:1996:SUR% }. \NAMECITE{Limits}{% Martinek:1998:LPG% }. \NAMECITE{{Lindenmayer}}{% Amin:1998:RRB,% Bordihn:1999:APL% }. \NAMECITE{{Lindstr{\"o}m}}{% Segerberg:1997:PTB% }. \NAMECITE{Line}{% LaTorre:1998:SLI% }. \NAMECITE{Linear}{% Asperti:1995:LLC,% Bhat:1998:APO,% Bujosa:1996:SED,% Bujosa:1997:UNS,% Eppstein:1995:DLT,% Farwer:1999:LLV,% Gabarro:1995:RPL,% Koutras:1999:MVM,% Kudlek:1998:ALR,% Makinen:1996:NGI,% Peters:1997:MRT,% Sinha:1999:CDI,% Fulop:1990:CIS,% Gorrieri:1992:HSD,% Huynh:1991:PTR% }. \NAMECITE{Lines}{% Segerberg:1997:PTB% }. \NAMECITE{Lingual}{% Jung:1999:MLS% }. \NAMECITE{Linguistic}{% Ho:1996:MLR% }. \NAMECITE{Link}{% Mohnen:1997:CCP% }. \NAMECITE{Lists}{% Dovier:1998:UAV% }. \NAMECITE{Local}{% Cholak:1994:CLS,% Deneva:1997:MLL% }. \NAMECITE{Logic}{% Alessi:1997:CPL,% Alexandre:1997:MCL,% Alferes:1996:BRN,% Apt:1996:MVL,% Asperti:1995:LLC,% Banerjee:1996:RST,% Banerjee:1997:RSV,% Bhat:1998:APO,% Bochman:1996:LBN,% Brewka:1997:WFS,% Cadoli:1994:AID,% Cadoli:1995:AID,% Chen:1994:LOK,% Dix:1995:CTSa,% Dix:1995:CTSb,% Dubois:1999:UPL,% Dudakov:1999:CPM,% Egly:1997:DTN,% Farwer:1999:LLV,% Fitting:1999:QML,% Frias:1997:FAA,% Gomolinska:1996:SNM,% Heljanko:1999:ULP,% Hsiang:1996:AAP,% Hungar:1994:ESS,% Khamsi:1997:DSL,% Kowalski:1998:ESL,% Lambek:1995:CEC,% Lee:1997:FVD,% Leone:1994:MIL,% Lin:1996:FOR,% Marek:1997:CRN,% Meyer:1995:DLB,% Miller:1995:CSC,% Minker:1994:SDL,% Moggi:1995:SEL,% Peters:1997:MRT,% Plaza:1996:LPP,% Ramakrishna:1995:SPL,% Rauszer:1992:LIS,% Sastry:1999:DEB,% Schurr:1996:LBP,% Schwind:1994:MLH,% Seda:1995:TSL,% Seda:1997:QMS,% vanBenthem:1992:LP,% Bagai:1990:DCO,% Balbiani:1992:MSN,% Baratella:1991:MCC,% Boutilier:1992:EEA,% Dubois:1991:TPL,% Gelfond:1990:FIR,% Hirani:1990:AFL,% Konolige:1991:QAL,% Kroger:1991:TLR,% Krynicki:1990:NRC,% Marek:1992:MMA,% Przymusinska:1990:WSL,% Sakai:1993:FLP,% Schwarz:1992:RAL,% Subrahmanian:1990:LFR,% Truszczynski:1991:MNL,% Zhang:1990:CES,% Koutny:1991:ASI% }. \NAMECITE{Logical}{% Bochman:1996:LBN,% Konikowska:1996:MAM,% Egidi:1992:ODL,% Rauszer:1993:DRD% }. \NAMECITE{Logics}{% Baral:1994:VSF,% Besnard:1994:PWS,% Deneva:1997:MLL,% Fitting:1994:KTV,% Koutras:1999:MVM,% Kutty:1995:AIL,% Moser:1994:CSA,% Murray:1994:ACI,% Penczek:1996:ATL,% Szalas:1996:NDF,% delCerro:1999:TBD,% Fitting:1991:MVM,% Fitting:1992:MVM,% Kaminski:1991:EDS,% Leischner:1992:CTP,% Parikh:1991:MNM,% Stachniak:1990:RDS,% Stepaniuk:1991:AFM,% Vakarelov:1992:IML,% Woltert:1999:MDL% }. \NAMECITE{Long}{% Alon:1995:LNC% }. \NAMECITE{looking}{% Biela:1993:RSD% }. \NAMECITE{Loop}{% Skordev:1997:AAS% }. \NAMECITE{lot}{% Khouja:1998:EAE% }. \NAMECITE{Lotos}{% Huzar:1997:SSR% }. \NAMECITE{Lower}{% Drewes:1996:LBG,% Heckmann:1995:LBD,% Hromkovic:1996:TLB% }. \NAMECITE{{{\L}ukasiewicz}}{% Banerjee:1997:RSV% }. \NAMECITE{Machine}{% Ziarko:1997:MLT% }. \NAMECITE{Machines}{% Penttonen:1999:RCR,% Tyszkiewicz:1997:QAC% }. \NAMECITE{Making}{% Kersten:1997:FAS% }. \NAMECITE{{Mallat}}{% Wojdyllo:1998:WMM% }. \NAMECITE{Managing}{% Harper:1995:MMK% }. \NAMECITE{Manipulation}{% Ruohonen:1999:SER% }. \NAMECITE{Many}{% Fitting:1991:MVM,% Fitting:1992:MVM,% Koutras:1999:MVM% }. \NAMECITE{Many-Valued}{% Koutras:1999:MVM,% Fitting:1991:MVM,% Fitting:1992:MVM% }. \NAMECITE{Map}{% Sinha:1999:CDI% }. \NAMECITE{Maps}{% Nielsen:1999:BOM% }. \NAMECITE{{Marcus}}{% Ilie:1997:CCM% }. \NAMECITE{{Markov}}{% Rudolph:1998:FMC% }. \NAMECITE{Matching}{% Intrigila:1999:CSM,% Jategaonkar:1993:TIE% }. \NAMECITE{Mathematical}{% Bertossi:1994:CGM,% Skowron:1996:AMM% }. \NAMECITE{Matrices}{% Winkowski:1997:RPP% }. \NAMECITE{matrix}{% Makinen:1992:GCC% }. \NAMECITE{Matroid}{% Tsumoto:1996:CAF% }. \NAMECITE{Maximal}{% Boldi:1996:MCA,% Czaja:1998:MMT% }. \NAMECITE{{McCarthy}}{% Konikowska:1996:MAM% }. \NAMECITE{Means}{% Mohnen:1997:CCP% }. \NAMECITE{Mechanisms}{% Esquivel:1998:SME% }. \NAMECITE{Mechanization}{% Peters:1997:MRT% }. \NAMECITE{Membership}{% Hage:1999:MPS% }. \NAMECITE{Memory}{% Komorowski:1997:GEP,% Sebag:1998:RME% }. \NAMECITE{Meta}{% Apt:1996:MVL,% Doherty:1999:MQD% }. \NAMECITE{Meta-Queries}{% Doherty:1999:MQD% }. \NAMECITE{Meta-variables}{% Apt:1996:MVL% }. \NAMECITE{Metalogical}{% Chakraborty:1997:GCS% }. \NAMECITE{Metamathematics}{% Buvac:1995:MC% }. \NAMECITE{Method}{% Benhamou:1999:HMF,% Buszkowski:1997:RRS,% Ho:1996:MLR,% Kundu:1997:NMC% }. \NAMECITE{Methodology}{% Alexandre:1997:MCL,% Bonacina:1995:CDM% }. \NAMECITE{Methods}{% Back:1998:OPC,% Clark:1997:IIC,% Skarbek:1998:AFO,% Skowron:1997:DAS,% Tsumoto:1996:CAF% }. \NAMECITE{{M{\'e}tivier}}{% Diekert:1996:NMC% }. \NAMECITE{Metric}{% denHartog:1999:FAM% }. \NAMECITE{Metrics}{% Seda:1997:QMS% }. \NAMECITE{Minimal}{% Czaja:1998:MMT,% Moshkov:1996:SBM,% Tendera:1994:NAP,% Vagvolgyi:1998:SMG% }. \NAMECITE{Minimal-Maximal}{% Czaja:1998:MMT% }. \NAMECITE{Minimization}{% Stachniak:1991:MRP% }. \NAMECITE{Mix}{% Kudlek:1998:ALR% }. \NAMECITE{mixed}{% Aceto:1992:HPC% }. \NAMECITE{mixed-ordering}{% Aceto:1992:HPC% }. \NAMECITE{{MLP}}{% Bandyopadhyay:1999:RBV% }. \NAMECITE{Modal}{% Castilho:1997:MTP,% Deneva:1997:MLL,% Fitting:1996:MHT,% Fitting:1999:QML,% Gomolinska:1996:SNM,% Heinemann:1999:CCM,% Koutras:1999:MVM,% Schwind:1994:MLH,% Truszczynski:1991:MNL,% Woltert:1999:MDL,% delCerro:1999:TBD,% Balbiani:1992:MSN,% Fitting:1991:MVM,% Fitting:1992:MVM,% Marek:1992:MMA,% Vakarelov:1992:IML% }. \NAMECITE{modalizing}{% Woltert:1999:MDL% }. \NAMECITE{Model}{% Benhamou:1999:HMF,% Boddy:1994:CEM,% Brauner:1998:SAC,% Chu:1994:MFS,% Clark:1997:IIC,% Gottlob:1996:ASM,% Green:1996:RSM,% Heljanko:1999:ULP,% Johnson:1999:PDD,% Konikowska:1996:MAM,% Kubota:1999:EMV,% Peltier:1997:TAA,% Rishe:1996:UMN,% Stepaniuk:1998:ORS,% Wanne:1999:GMA% }. \NAMECITE{Model-Based}{% Clark:1997:IIC% }. \NAMECITE{Modeling}{% Dubois:1999:UPL% }. \NAMECITE{Modelling}{% Gomolinska:1998:CIM,% Loogen:1991:MNC,% Winkowski:1996:CWP% }. \NAMECITE{Models}{% Baral:1994:VSF,% Baratella:1991:MCC,% Buszkowski:1997:RRS,% Dudakov:1999:CPM,% Fu:1996:RMG,% Hofmann:1995:ACH,% Pigozzi:1997:LAA,% Pigozzi:1998:LAA,% Suraj:1996:DCD,% Yao:1996:CRS,% Apt:1990:ACP,% Apt:1991:ACP,% Bucciarelli:1997:BMR,% Stepaniuk:1991:AFM% }. \NAMECITE{moderately}{% Eiter:1992:RPM% }. \NAMECITE{Modified}{% Skarbek:1998:MOR% }. \NAMECITE{Modifying}{% Leone:1994:MIL% }. \NAMECITE{Modularity}{% Trakhtenbrot:1996:PCP,% Trakhtenbrot:1997:PCP% }. \NAMECITE{Modulo}{% Bergstra:1996:PME,% Narendran:1996:UMA,% Fulop:1990:CIS% }. \NAMECITE{Monadic}{% Knapik:1999:TST% }. \NAMECITE{Monotone}{% Martinek:1998:LPG% }. \NAMECITE{Monotonic}{% Alferes:1996:BRN,% Chen:1994:LOK,% Koutras:1999:MVM,% Parikh:1991:MNM% }. \NAMECITE{{Moore}}{% Jurvanen:1999:DSU% }. \NAMECITE{Morphism}{% Rey:1997:KRM% }. \NAMECITE{Morphisms}{% Turakainen:1999:DSP% }. \NAMECITE{Morphology}{% Skowron:1996:AMM% }. \NAMECITE{Multi}{% Jung:1999:MLS,% Kappes:1999:MBC% }. \NAMECITE{Multi-Bracketed}{% Kappes:1999:MBC% }. \NAMECITE{Multiple}{% Bergstra:1996:PME,% Harper:1995:MMK,% Murray:1994:ACI% }. \NAMECITE{Multiple-Valued}{% Murray:1994:ACI% }. \NAMECITE{Multiresolution}{% Cieplinski:1998:ECM,% Wojdyllo:1998:WMM% }. \NAMECITE{Multisets}{% Dovier:1998:UAV% }. \NAMECITE{Mutations}{% Dassow:1998:ROS% }. \NAMECITE{Mutual}{% Ordman:1999:GME% }. \NAMECITE{Names}{% Stark:1998:NER% }. \NAMECITE{Narrowing}{% Bockmayr:1995:NSA% }. \NAMECITE{Natural}{% Martin-Vide:1997:NCN,% Szalas:1996:NDF% }. \NAMECITE{Needs}{% Gaasterland:1997:QAA% }. \NAMECITE{Negation}{% Minker:1994:SDL,% Ruiz:1997:CCW,% Balbiani:1992:MSN,% Truszczynski:1991:MNL% }. \NAMECITE{Negative}{% Habel:1996:GGN% }. \NAMECITE{negotiation}{% Paun:1996:PCG% }. \NAMECITE{{Nelson}}{% Pagliani:1996:RSN% }. \NAMECITE{nested}{% Levene:1993:FPN% }. \NAMECITE{Net}{% Czaja:1999:NDP,% Pietkiewicz-Koutny:1999:SPE,% Hoodgeboom:1991:DPE% }. \NAMECITE{Net-Definability}{% Czaja:1999:NDP% }. \NAMECITE{Nets}{% Best:1999:GCO,% Busi:1999:PSP,% Esparza:1997:PNC,% Farwer:1999:LLV,% Heljanko:1999:ULP,% Janicki:1999:CSN,% Junttila:1999:FSA,% Menezes:1996:SPN,% Montanari:1994:CCP,% Popova-Zeugmann:1999:APT,% Stewart:1995:RSC,% Tiplea:1997:JPN,% Trakhtenbrot:1996:PCP,% Trakhtenbrot:1997:PCP,% Winkowski:1996:CWP,% Winkowski:1997:RPP,% Winkowski:1998:PCN,% Maggiolo-Schettini:1990:CST,% Schettini:1991:CSU% }. \NAMECITE{Network}{% Analyti:1998:SSN,% Bandyopadhyay:1999:RBV% }. \NAMECITE{Networks}{% Karayiannis:1999:RLV,% Sinha:1999:CDI,% Stark:1995:ADN,% Trakhtenbrot:1994:CPN% }. \NAMECITE{Neural}{% Karayiannis:1999:RLV,% Sinha:1999:CDI% }. \NAMECITE{Next}{% Moser:1994:CSA% }. \NAMECITE{{Noetherian}}{% Boldi:1996:MCA% }. \NAMECITE{Non}{% Alferes:1996:BRN,% Alon:1995:LNC,% Chen:1994:LOK,% Dix:1996:RDN,% Kiehn:1997:DNI,% Koskinen:1999:NIK,% Koutras:1999:MVM,% Majorinc:1997:ERN,% Rishe:1996:UMN,% Parikh:1991:MNM% }. \NAMECITE{Non-Clausal}{% Majorinc:1997:ERN% }. \NAMECITE{Non-Crossing}{% Alon:1995:LNC% }. \NAMECITE{Non-Disjunctive}{% Dix:1996:RDN% }. \NAMECITE{Non-Injectivity}{% Koskinen:1999:NIK% }. \NAMECITE{Non-Interleaving}{% Kiehn:1997:DNI% }. \NAMECITE{Non-Monotonic}{% Alferes:1996:BRN,% Chen:1994:LOK,% Koutras:1999:MVM,% Parikh:1991:MNM% }. \NAMECITE{Non-Procedural}{% Rishe:1996:UMN% }. \NAMECITE{Noncircular}{% Noll:1994:TPS% }. \NAMECITE{Nondeterministic}{% Moshkov:1996:CAD,% Loogen:1991:MNC% }. \NAMECITE{Nondivisibility}{% Grigoriev:1996:SPN% }. \NAMECITE{noninterleaving}{% Murphy:1993:TDN% }. \NAMECITE{Nonlinear}{% Sastry:1999:DEB% }. \NAMECITE{Nonmonotonic}{% Gomolinska:1996:SNM,% Stalnaker:1994:WNC,% Kaminski:1991:EDS,% Truszczynski:1991:MNL% }. \NAMECITE{Nonsequential}{% Ehrenfeucht:1997:SNT% }. \NAMECITE{Normal}{% Bochman:1996:LBN,% Bohm:1999:FPE,% Dix:1995:CTSa,% Dix:1995:CTSb,% Egly:1997:DTN,% Marek:1997:CRN% }. \NAMECITE{Note}{% Diekert:1996:NMC,% Knijnenburg:1996:NSP,% Makinen:1996:NGI,% Michalewicz:1997:GEN,% Pomykala:1996:NCI,% Revesz:1995:GEN,% Tendera:1994:NAP,% Aceto:1992:HPC,% Balanescu:1991:NPK,% Kraus:1991:RAI,% Krynicki:1990:NRC% }. \NAMECITE{Notes}{% Novotny:1992:NAA% }. \NAMECITE{Nothing}{% Bujosa:1997:UNS% }. \NAMECITE{Notion}{% Kaufmann:1996:QNU,% Korczynsky:1996:NC% }. \NAMECITE{Notions}{% Chakraborty:1997:GCS,% Biela:1993:RSD% }. \NAMECITE{null}{% Levene:1993:FPN% }. \NAMECITE{Numbers}{% Kolpakov:1995:CGR% }. \NAMECITE{Obituary}{% Anonymous:1994:O% }. \NAMECITE{Object}{% Farwer:1999:LLV,% Pankowski:1998:PPR,% Wagner:1996:DOB% }. \NAMECITE{Objects}{% Bertossi:1994:CGM,% Bono:1999:SEI% }. \NAMECITE{observations}{% Aceto:1992:RDT,% Darondeau:1990:IBI% }. \NAMECITE{Oja}{% Skarbek:1998:MOR,% Sikora:1998:SAO% }. \NAMECITE{Oja-{RLS}}{% Skarbek:1998:MOR% }. \NAMECITE{one}{% Makinen:1992:GCC% }. \NAMECITE{one-letter}{% Makinen:1992:GCC% }. \NAMECITE{Only}{% Chen:1994:LOK,% Ordman:1999:GME% }. \NAMECITE{Open}{% Monfroy:1999:OAF,% Nielsen:1999:BOM% }. \NAMECITE{Operation}{% Kudlek:1998:ALR% }. \NAMECITE{Operational}{% Broy:1992:ODS,% Egidi:1992:ODL,% Ferrari:1998:PSO,% Wagner:1996:DOB% }. \NAMECITE{Operations}{% Best:1999:GCO,% Dassow:1998:ROS,% Dix:1996:RDN% }. \NAMECITE{Operative}{% Kersten:1997:FAS% }. \NAMECITE{Operator}{% Skarbek:1998:AFO% }. \NAMECITE{Operators}{% Lobo:1996:ACO,% Novotny:1990:ROG% }. \NAMECITE{Opportunities}{% vanLinder:1998:FAO% }. \NAMECITE{Optimal}{% Asperti:1995:LLC,% Murthy:1998:OST,% Son:1998:OHO,% Zhiltsova:1998:EOC,% Chlebus:1997:TOT% }. \NAMECITE{Optimization}{% Moshkov:1994:OPD% }. \NAMECITE{Optimizations}{% Stepaniuk:1998:ORS% }. \NAMECITE{{OR}-Graphs}{% Skarbek:1996:DBS% }. \NAMECITE{Order}{% Hungar:1994:ESS,% Lin:1996:FOR,% Maggiolo-Schettini:1997:POR,% Peters:1997:MRT,% Schlechta:1996:TSA,% Szalas:1996:NDF,% Tendera:1994:NAP,% Wroblewski:1996:TFO,% Astesiano:1992:PHO,% Knapik:1999:TST% }. \NAMECITE{Order-Based}{% Wroblewski:1996:TFO% }. \NAMECITE{Ordering}{% Corradini:1996:FPO,% Aceto:1992:HPC% }. \NAMECITE{Orderings}{% Martin:1995:DOS,% Steinbach:1995:SOH% }. \NAMECITE{Orders}{% Bhat:1998:APO% }. \NAMECITE{ordinals}{% Bagai:1990:DCO% }. \NAMECITE{other}{% Maida:1991:SAI% }. \NAMECITE{Output}{% Skandalis:1994:CIS% }. \NAMECITE{Overview}{% Back:1998:OPC% }. \NAMECITE{Papers}{% Komorowski:1994:GEP,% Perlis:1995:PCT% }. \NAMECITE{Parallel}{% Esparza:1997:PNC,% LaTorre:1996:PWS,% Paun:1996:PCG,% Seredynski:1998:NTP% }. \NAMECITE{Parallelism}{% Mitrana:1998:PCG,% Paun:1996:CGP,% Amir:1993:SP% }. \NAMECITE{Parameter}{% Back:1998:OPC% }. \NAMECITE{Parameterized}{% Ferrari:1998:PSO% }. \NAMECITE{Parameters}{% Jacobs:1995:PPS% }. \NAMECITE{Parametric}{% Baeten:1997:DTP,% Longo:1995:PTD% }. \NAMECITE{Parametricity}{% Takeuti:1998:ASP% }. \NAMECITE{Parametrization}{% Jacobs:1995:PPS% }. \NAMECITE{parsable}{% Balanescu:1991:NPK% }. \NAMECITE{Parser}{% Gramatovici:1998:EPC% }. \NAMECITE{parsimonious}{% Eiter:1992:RPM% }. \NAMECITE{Parsing}{% Harper:1995:MMK,% Noll:1994:TPS% }. \NAMECITE{{Part}}{% Keesmaat:1990:VCC,% Keesmaat:1991:VCC% }. \NAMECITE{Partial}{% Astesiano:1992:PHO,% Bhat:1998:APO,% Corradini:1996:FPO,% Maggiolo-Schettini:1997:POR,% Matskin:1997:PSS,% Ehrenfeucht:1992:RPB,% Pfenning:1993:UPP% }. \NAMECITE{Partitioned}{% Mitra:1998:SPI% }. \NAMECITE{Path}{% Shields:1999:AVS% }. \NAMECITE{Paths}{% Pankowski:1998:PPR,% Popova-Zeugmann:1999:APT% }. \NAMECITE{Pattern}{% Makinen:1997:PAP,% Nguyen:1998:PED,% Jategaonkar:1993:TIE% }. \NAMECITE{{PCF}}{% Brauner:1998:SAC% }. \NAMECITE{\penalty0{}Transition}{% Busi:1999:PSP,% Schettini:1991:CSU% }. \NAMECITE{Perfect}{% Dudakov:1999:CPM,% Apt:1990:ACP,% Apt:1991:ACP,% Lakemeyer:1992:PIQ% }. \NAMECITE{Performance}{% Huzar:1997:SSR,% Magott:1995:PES% }. \NAMECITE{Periodic}{% Devillers:1999:GRT% }. \NAMECITE{Perspective}{% Angeline:1998:HPE,% Miller:1995:CSC,% Plaza:1996:LPP% }. \NAMECITE{{Peter}}{% Koutny:1999:PLC% }. \NAMECITE{{Petri}}{% Best:1999:GCO,% Esparza:1997:PNC,% Farwer:1999:LLV,% Heljanko:1999:ULP,% Maggiolo-Schettini:1990:CST,% Menezes:1996:SPN,% Montanari:1994:CCP,% Popova-Zeugmann:1999:APT,% Stewart:1995:RSC,% Tiplea:1997:JPN,% Winkowski:1996:CWP,% Winkowski:1997:RPP% }. \NAMECITE{{PF}}{% Balanescu:1991:NPK% }. \NAMECITE{Pictures}{% Drewes:1996:DGP% }. \NAMECITE{Piecewise}{% Sinha:1999:CDI% }. \NAMECITE{Place}{% Busi:1999:PSP% }. \NAMECITE{Place/\penalty0{}Transition}{% Busi:1999:PSP% }. \NAMECITE{Plane}{% Alon:1995:LNC% }. \NAMECITE{Point}{% Bohm:1999:FPE,% Druzdzel:1997:FUP,% Wagner:1995:FPS% }. \NAMECITE{Points}{% Kirkpatrick:1995:TPS% }. \NAMECITE{poly}{% Leivant:1993:LCC% }. \NAMECITE{poly-time}{% Leivant:1993:LCC% }. \NAMECITE{Polyhedron}{% Bondarenko:1996:APC% }. \NAMECITE{polymorphic}{% Pfenning:1993:UPP% }. \NAMECITE{Polymorphism}{% Longo:1995:PTD% }. \NAMECITE{Polynomial}{% Ruohonen:1999:SER,% Tyszkiewicz:1997:QAC% }. \NAMECITE{Polynomials}{% Grigoriev:1996:SPN,% Tanaka:1999:IRA% }. \NAMECITE{Pomsets}{% Winkowski:1996:CWP% }. \NAMECITE{Poset}{% Pratt:1996:SIP% }. \NAMECITE{Positive}{% Urzyczyn:1996:PRT% }. \NAMECITE{Possibilistic}{% Dubois:1999:UPL,% Dubois:1991:TPL% }. \NAMECITE{Possible}{% Besnard:1994:PWS% }. \NAMECITE{Post}{% Turakainen:1999:DSP% }. \NAMECITE{Power}{% Berard:1998:CEP,% Derencourt:1996:CPW,% Honkala:1996:PSG,% Honkala:1997:DPC,% Honkala:1999:EPD,% Ilie:1999:SPF,% Sopena:1996:EGR,% Trakhtenbrot:1996:PCP,% Trakhtenbrot:1997:PCP% }. \NAMECITE{Power-Free}{% Ilie:1999:SPF% }. \NAMECITE{Powerdomain}{% Alessi:1997:CPL,% Knijnenburg:1996:NSP,% Pankowski:1998:PPR% }. \NAMECITE{Practical}{% Huynh:1991:PTR,% Stark:1998:NER% }. \NAMECITE{Practice}{% Perlis:1995:PCT% }. \NAMECITE{Pragmatic}{% Ballarin:1999:PAE% }. \NAMECITE{Praise}{% Apt:1996:MVL% }. \NAMECITE{{PRAM}}{% Czech:1998:RPS% }. \NAMECITE{Precise}{% Ben-Amram:1999:PVT,% Levene:1993:FPN% }. \NAMECITE{Precision}{% Katzberg:1996:VPE% }. \NAMECITE{predicate}{% Schettini:1991:CSU% }. \NAMECITE{predicate/\penalty0{}transition}{% Schettini:1991:CSU% }. \NAMECITE{Prediction}{% Clark:1997:IIC% }. \NAMECITE{Preface}{% Apt:1998:GEP,% Burkhard:1999:P,% Edelsbrunner:1995:P,% Eiben:1998:P,% Engels:1996:P,% Hindley:1998:P,% Janicki:1999:P,% Karhumaki:1999:P,% Komorowski:1997:GEP,% Marcus:1998:P,% Marek:1996:Pa,% Marek:1996:Pb,% Pal:1999:PSI,% Plaisted:1995:EP,% Plaza:1999:P,% Rasiowa:1994:P,% Rozenberg:1996:P,% Skarbek:1998:PSI,% Skowron:1996:P,% Komorowski:1994:GEP% }. \NAMECITE{Preference}{% Boddy:1994:CEM% }. \NAMECITE{Preferences}{% Gaasterland:1997:QAA% }. \NAMECITE{Preferential}{% Baral:1994:VSF% }. \NAMECITE{Prefix}{% Fokkink:1996:CAP% }. \NAMECITE{Pregrammars}{% Novotny:1998:RP,% Ostravsky:1998:PVS% }. \NAMECITE{Preserving}{% Przelaskowski:1998:DPW,% Aceto:1992:HPC% }. \NAMECITE{Primitive}{% Harju:1994:RPS,% Urzyczyn:1993:PRE% }. \NAMECITE{Principles}{% Chakraborty:1997:SPS% }. \NAMECITE{Priorities}{% Janicki:1999:CSN% }. \NAMECITE{Priority}{% Degano:1995:FP% }. \NAMECITE{Probabilistic}{% Bhatnagar:1995:CHU,% Druzdzel:1997:FUP,% Mosbah:1996:PGG,% Danko:1993:SPA% }. \NAMECITE{Probabilities}{% Tendera:1994:NAP% }. \NAMECITE{Problem}{% Bouquet:1995:RAT,% Burago:1998:ACC,% Castro:1998:BCS,% Hage:1999:MPS,% Honkala:1999:EPD,% Khouja:1998:EAE,% Makinen:1996:NGI,% Pietkiewicz-Koutny:1999:SPE,% Ramakrishna:1995:SPL,% Turakainen:1999:DSP,% Kraus:1991:RAI,% Novotny:1992:PCD% }. \NAMECITE{Problems}{% Heljanko:1999:ULP,% Honkala:1997:DPC,% Moshkov:1994:OPD,% Skordev:1997:AAS,% Turakainen:1999:DSP,% Giannini:1993:TIS% }. \NAMECITE{Procedural}{% Rishe:1996:UMN% }. \NAMECITE{Procedures}{% delCerro:1999:TBD% }. \NAMECITE{Process}{% Baeten:1997:DTP,% Busi:1999:PSP,% Corradini:1996:FPO,% Corradini:1999:RAF,% Czaja:1999:NDP,% Ferrari:1997:ACC,% Kiehn:1997:DNI,% Montanari:1997:CFS,% Sastry:1999:DEB,% Mauw:1990:PSF% }. \NAMECITE{Processes}{% Bergstra:1996:PME,% Corradini:1996:GP,% Esparza:1997:PNC,% Fokkink:1997:ARP,% Gabarro:1995:RPL,% Maggiolo-Schettini:1997:PCE,% Maggiolo-Schettini:1997:POR,% Trakhtenbrot:1994:CPN,% Winkowski:1996:CWP,% Winkowski:1997:RPP,% Winkowski:1998:PCN,% Aceto:1992:RDT,% Loogen:1991:MNC,% Romanowska:1990:CPE% }. \NAMECITE{Processing}{% Johnson:1999:PDD,% Ras:1991:QPD,% Stoeva:1991:PFP% }. \NAMECITE{Processors}{% LaTorre:1998:SLI% }. \NAMECITE{Procrastination}{% Ambainis:1999:IIP% }. \NAMECITE{Product}{% Rey:1997:BPC% }. \NAMECITE{production}{% Stoeva:1991:PFP% }. \NAMECITE{Productions}{% Martinek:1998:LPG% }. \NAMECITE{Products}{% Revesz:1995:CCE% }. \NAMECITE{Program}{% Egly:1999:IPT,% Marcus:1996:SSD,% Robertson:1994:EPR% }. \NAMECITE{Programmed}{% Schurr:1996:LBP% }. \NAMECITE{Programming}{% Alferes:1996:BRN,% Apt:1996:MVL,% Apt:1998:PTV,% Baier:1997:HIE,% Bujosa:1996:SED,% Kirchner:1998:RBC,% Plaza:1996:LPP,% Rety:1998:DCC,% Apt:1998:GEP,% Balbiani:1992:MSN,% Hirani:1990:AFL,% Sakai:1993:FLP,% vanBenthem:1992:LP% }. \NAMECITE{Programs}{% Alexandre:1997:MCL,% Bochman:1996:LBN,% Chikalov:1999:ATC,% Chitil:1997:SCS,% Dix:1995:CTSa,% Dix:1995:CTSb,% Dudakov:1999:CPM,% Giordana:1998:LCP,% Heljanko:1999:ULP,% Hungar:1994:ESS,% Khamsi:1997:DSL,% Kowalski:1998:ESL,% Matskin:1997:PSS,% Minker:1994:SDL,% Seda:1995:TSL,% Seda:1997:QMS,% Shields:1999:AVS,% Wagner:1995:FPS,% Apt:1990:ACP,% Apt:1991:ACP,% Bagai:1990:DCO,% Baratella:1991:MCC,% Biela:1993:RSD,% Gasarch:1992:LPE,% Hirani:1990:AFL,% Przymusinska:1990:WSL,% Subrahmanian:1990:LFR% }. \NAMECITE{progressing}{% Montanari:1992:DCV% }. \NAMECITE{Proof}{% Apt:1998:PTV,% Baaz:1994:SPC,% Egly:1999:IPT,% Mohnen:1997:CCP,% Stachniak:1991:MRP% }. \NAMECITE{Proofs}{% Grigoriev:1996:SPN,% Hsiang:1996:AAP,% Pientka:1999:AIS,% Trakhtenbrot:1994:CPN,% Trakhtenbrot:1996:PCP,% Trakhtenbrot:1997:PCP,% deKogel:1995:RAE% }. \NAMECITE{Propagation}{% Castilho:1997:MTP% }. \NAMECITE{Properties}{% Czaja:1998:CES,% DeLaHiguera:1996:STS,% Dix:1995:CTSa,% Dix:1995:CTSb,% Drewes:1996:DGP,% Druzdzel:1997:FUP,% Gramlich:1995:ARB,% Knapik:1999:TST,% Tiplea:1997:JPN,% Hoodgeboom:1991:DPE,% Stepaniuk:1991:AFM% }. \NAMECITE{Property}{% Mirkowska:1996:ASD% }. \NAMECITE{Proposal}{% Segerberg:1997:PTB% }. \NAMECITE{Propositional}{% Kundu:1997:NMC,% Lee:1997:FVD,% Majorinc:1997:ERN,% Ramakrishna:1995:SPL,% Buning:1990:TAC,% Leischner:1992:CTP% }. \NAMECITE{prove}{% Truszczynski:1991:MNL% }. \NAMECITE{Provers}{% Ballarin:1999:PAE,% Bertoli:1999:SIT% }. \NAMECITE{Proving}{% Chu:1994:MFS,% Fevre:1999:CCA% }. \NAMECITE{Prune}{% Kirkpatrick:1995:TPS% }. \NAMECITE{Prune-And-Search}{% Kirkpatrick:1995:TPS% }. \NAMECITE{Psychology}{% Doyle:1994:RAR% }. \NAMECITE{Pure}{% Bordihn:1999:APL,% Makinen:1997:PAP,% Martinek:1998:LPG% }. \NAMECITE{pushout}{% Llabres:1997:DPH% }. \NAMECITE{Qualification}{% Bouquet:1995:RAT% }. \NAMECITE{Qualifying}{% Gaasterland:1997:QAA% }. \NAMECITE{Qualitative}{% Dubois:1999:UPL,% Akdag:1992:QTU,% Duntsch:1999:RAQ% }. \NAMECITE{Quantification}{% Konolige:1991:QAL% }. \NAMECITE{Quantified}{% Fitting:1999:QML% }. \NAMECITE{quantifying}{% Lakemeyer:1992:PIQ% }. \NAMECITE{quantifying-in}{% Lakemeyer:1992:PIQ% }. \NAMECITE{Quantisation}{% Cieplinski:1998:ECM,% Przelaskowski:1998:DPW,% Rak:1998:VQ% }. \NAMECITE{Quantitative}{% Kaufmann:1996:QNU% }. \NAMECITE{Quantization}{% Karayiannis:1999:RLV% }. \NAMECITE{Quasi}{% Seda:1997:QMS% }. \NAMECITE{Quasi-Metrics}{% Seda:1997:QMS% }. \NAMECITE{Queries}{% Doherty:1999:MQD,% Gasarch:1995:LQT,% Levene:1996:CCD,% Tyszkiewicz:1997:QAC% }. \NAMECITE{Query}{% Ras:1991:QPD,% Ras:1997:QAA% }. \NAMECITE{Questions}{% Gasarch:1997:AQV% }. \NAMECITE{{Rabinowicz}}{% Segerberg:1997:PTB% }. \NAMECITE{Radial}{% Karayiannis:1999:RLV% }. \NAMECITE{Radius}{% Paun:1997:CSS% }. \NAMECITE{Ramified}{% Heinemann:1999:CCM% }. \NAMECITE{Random}{% Penttonen:1999:RCR% }. \NAMECITE{Randomized}{% Czech:1998:RPS% }. \NAMECITE{Rank}{% vanBakel:1996:RIT% }. \NAMECITE{Rational}{% Doyle:1994:RAR,% Gabarro:1995:RPL,% Kolpakov:1995:CGR,% Kudlek:1998:ALR,% Sendra:1999:ARR% }. \NAMECITE{{Rauszer}}{% Komorowski:1997:GEP% }. \NAMECITE{{RCC}}{% Becker:1991:UTA% }. \NAMECITE{{RCC}-adders}{% Becker:1991:UTA% }. \NAMECITE{Reachability}{% Heljanko:1999:ULP,% Stewart:1995:RSC% }. \NAMECITE{Read}{% Busi:1999:PSP% }. \NAMECITE{Real}{% Huzar:1997:SSR,% Nirkhe:1995:FRT,% Peters:1997:MRT,% Sendra:1999:ARR% }. \NAMECITE{Real-Time}{% Huzar:1997:SSR,% Nirkhe:1995:FRT,% Peters:1997:MRT% }. \NAMECITE{Reals}{% Calude:1998:CAR% }. \NAMECITE{Reason}{% Stark:1998:NER% }. \NAMECITE{Reasoned}{% Doyle:1994:RAR% }. \NAMECITE{Reasoning}{% Alferes:1996:BRN,% Besnard:1995:ACB,% Bouquet:1995:RAT,% Chen:1994:LOK,% Eiter:1992:RPM,% Ho:1996:MLR,% Koutras:1999:MVM,% Kraus:1991:RAI,% Lin:1996:FOR,% McCarty:1994:DDR,% Schlechta:1996:TSA,% Slowinski:1996:RSR,% Wierzchon:1997:RFE,% Yao:1996:CRS,% Zhang:1995:CRA,% Duntsch:1999:RAQ,% Gelfond:1990:FIR,% Huynh:1991:PTR,% Maida:1991:SAI,% Niemela:1992:DCA,% Subrahmanian:1990:LFR% }. \NAMECITE{Recognizability}{% Giammarresi:1996:TDF% }. \NAMECITE{reconstruction}{% Pfenning:1993:UPP% }. \NAMECITE{Recurrent}{% Ruohonen:1999:SER% }. \NAMECITE{recursion}{% Kroger:1991:TLR,% Urzyczyn:1993:PRE% }. \NAMECITE{Recursive}{% Brandt:1998:CAR,% Fu:1996:RMG,% Marek:1997:CRN,% Sopena:1996:EGR,% Urzyczyn:1996:PRT% }. \NAMECITE{reduced}{% Paun:1992:FRR% }. \NAMECITE{Reducing}{% Dix:1996:RDN,% Findler:1997:STR,% Novotny:1990:ROG% }. \NAMECITE{Reduction}{% Doherty:1996:RRC,% Novotny:1998:RP,% Ziarko:1997:MLT% }. \NAMECITE{Reductions}{% Asperti:1995:LLC,% Doherty:1998:GDC,% Harju:1994:RPS% }. \NAMECITE{Reducts}{% Kryszkiewicz:1996:CRC% }. \NAMECITE{Refinement}{% Robertson:1994:EPR,% deBakker:1994:BSC,% denHartog:1999:FAM,% Darondeau:1991:ASA,% Gorrieri:1992:HSD% }. \NAMECITE{Reflective}{% Tyszkiewicz:1997:QAC% }. \NAMECITE{Reflexive}{% Schwarz:1992:RAL% }. \NAMECITE{Reformulating}{% Karayiannis:1999:RLV% }. \NAMECITE{Regression}{% Tanaka:1999:IRA% }. \NAMECITE{Regular}{% Fokkink:1997:ARP,% Gilleron:1995:RTL,% Hirshfeld:1996:ULE,% Preoteasa:1999:RBU,% Turakainen:1999:DSP% }. \NAMECITE{Rejection}{% Gomolinska:1996:SNM% }. \NAMECITE{Relabeling}{% Sopena:1996:EGR% }. \NAMECITE{Relate}{% Baral:1994:VSF% }. \NAMECITE{Relating}{% Aceto:1992:RDT% }. \NAMECITE{Relation}{% Bandyopadhyay:1999:RBV,% DeLaHiguera:1996:STS,% Duntsch:1994:RRA,% Preoteasa:1999:RBU,% Skarbek:1997:RIC,% Stalnaker:1994:WNC,% Marongiu:1993:UFT% }. \NAMECITE{Relational}{% Bucciarelli:1997:BMR,% Rey:1997:KRM,% deKogel:1995:RAE,% Jankowski:1991:CSB,% Levene:1993:FPN,% Rauszer:1993:DRD% }. \NAMECITE{Relations}{% Buszkowski:1997:RRS,% Deneva:1997:MLL,% Duntsch:1999:RAQ,% Gramlich:1995:ARB,% Pawlak:1996:RSR,% Stark:1998:NER% }. \NAMECITE{Relationship}{% Amin:1998:RRB,% Liau:1996:AFR% }. \NAMECITE{Relationships}{% Corradini:1999:RAF,% Trakhtenbrot:1996:PCP,% Trakhtenbrot:1997:PCP% }. \NAMECITE{Relative}{% Baeten:1997:DTP,% Penttonen:1999:RCR% }. \NAMECITE{Relevant}{% Dovier:1998:UAV% }. \NAMECITE{Reliability}{% Burago:1998:ACC% }. \NAMECITE{Remarks}{% Amin:1998:RRB,% Dassow:1998:ROS,% Kunen:1990:SRC,% Paun:1992:FRR% }. \NAMECITE{Representable}{% Bozapalidis:1994:RTS% }. \NAMECITE{Representation}{% Buszkowski:1997:RRS,% Jarvinen:1997:RDS,% Maggiolo-Schettini:1997:POR,% Mrozek:1997:KRF,% Winkowski:1997:RPP,% Ehrenfeucht:1992:RPB% }. \NAMECITE{Representations}{% Druzdzel:1997:FUP% }. \NAMECITE{Representing}{% Czaja:1999:RHS,% Ho:1996:MLR,% Pankowski:1998:PPR% }. \NAMECITE{Requirements}{% Robertson:1994:EPR% }. \NAMECITE{Residuated}{% Buszkowski:1997:RRS% }. \NAMECITE{Resolution}{% Stachniak:1990:RDS,% Stachniak:1991:MRP% }. \NAMECITE{respect}{% Danko:1993:SPA% }. \NAMECITE{Response}{% Devillers:1999:GRT% }. \NAMECITE{Restricted}{% Gramlich:1995:ARB,% Truszczynski:1991:MNL% }. \NAMECITE{Result}{% Doherty:1996:RRC,% Gasquet:1995:NIR% }. \NAMECITE{Results}{% Baier:1997:HIE,% Madlener:1997:SUR,% Rudolph:1998:FMC,% Spilker:1996:SUR,% Steinbach:1995:SOH,% Giannini:1993:TIS% }. \NAMECITE{Retrieval}{% Biela:1993:RSD,% Green:1996:RSM% }. \NAMECITE{Reversible}{% Kari:1999:CDS% }. \NAMECITE{Review}{% Cieplinski:1998:RIV,% Deaton:1998:DCR% }. \NAMECITE{Revision}{% Alferes:1996:BRN,% Segerberg:1997:PTB% }. \NAMECITE{Revisited}{% Czaja:1998:CES% }. \NAMECITE{Revisiting}{% Sebag:1998:RME% }. \NAMECITE{Rewrite}{% Bockmayr:1995:NSA,% Castro:1998:BCS,% Gilleron:1995:RTL,% Gramlich:1995:ARB% }. \NAMECITE{Rewriting}{% Ariola:1996:ETG,% Fevre:1999:CCA,% Kappes:1999:MBC,% Plump:1998:TGR,% Schurr:1996:LBP,% Zantema:1995:TTR,% Zhang:1995:CRA,% vanBakel:1996:RIT,% Fulop:1990:CIS,% Llabres:1997:DPH% }. \NAMECITE{{Riemann}}{% Grigoriev:1996:SPN% }. \NAMECITE{{RLS}}{% Sikora:1998:SAO,% Skarbek:1998:MOR% }. \NAMECITE{roles}{% Woltert:1999:MDL% }. \NAMECITE{Rough}{% Banerjee:1996:RST,% Banerjee:1997:RSV,% Bryniarski:1996:FCR,% Duntsch:1994:RRA,% Green:1996:RSM,% Katzberg:1996:VPE,% Kent:1996:RCA,% Lin:1996:FOR,% Marek:1999:CTR,% Mrozek:1997:KRF,% Nguyen:1999:RSA,% Pagliani:1996:RSN,% Paun:1997:RSA,% Pawlak:1996:RSR,% Skowron:1997:DAS,% Slowinski:1996:RSR,% Stepaniuk:1998:ORS,% Suraj:1996:DCD,% Tanaka:1999:IRA,% Tsumoto:1996:CAF,% Vigneron:1998:ADT,% Yao:1996:CRS,% Krynicki:1990:NRC,% Skowron:1990:RST% }. \NAMECITE{Rough-Set}{% Slowinski:1996:RSR,% Yao:1996:CRS% }. \NAMECITE{Rule}{% Grzymala-Busse:1997:NVR,% Kirchner:1998:RBC,% Majorinc:1997:ERN,% Nguyen:1999:RSA,% Sikora:1998:SAO,% Truszczynski:1991:MNL% }. \NAMECITE{Rule-Based}{% Kirchner:1998:RBC% }. \NAMECITE{Rules}{% Castilho:1997:MTP,% Castro:1998:BCS,% Zytkow:1997:CTF% }. \NAMECITE{Safe}{% Heljanko:1999:ULP% }. \NAMECITE{Satisfaction}{% Castro:1998:BCS% }. \NAMECITE{Satisfiability}{% Pratt:1996:SIP,% Ramakrishna:1995:SPL% }. \NAMECITE{{SCCS}}{% Kasangian:1997:TLT% }. \NAMECITE{Scheduling}{% Devillers:1999:GRT,% Khouja:1998:EAE% }. \NAMECITE{scheme}{% Cazanescu:1990:TNA% }. \NAMECITE{Schemes}{% Ehrenfeucht:1997:SNT% }. \NAMECITE{Science}{% Frias:1997:FAA% }. \NAMECITE{{Scott}}{% Dimov:1998:SCS% }. \NAMECITE{Search}{% Benhamou:1999:HMF,% Kirkpatrick:1995:TPS% }. \NAMECITE{Second}{% Knapik:1999:TST,% Tendera:1994:NAP% }. \NAMECITE{Second-Order}{% Tendera:1994:NAP,% Knapik:1999:TST% }. \NAMECITE{Seeking}{% Michalski:1997:SKD% }. \NAMECITE{Selected}{% Komorowski:1994:GEP% }. \NAMECITE{Selection}{% Baral:1994:VSF,% Esquivel:1998:SME% }. \NAMECITE{Self}{% Back:1998:OPC% }. \NAMECITE{Self-Adaptation}{% Back:1998:OPC% }. \NAMECITE{Semantic}{% Analyti:1998:SSN,% Czaja:1998:CES,% Marcus:1996:SSD,% Zantema:1995:TTR,% Darondeau:1991:ASA,% Rutten:1992:SAF% }. \NAMECITE{Semantically}{% Chu:1994:MFS% }. \NAMECITE{Semantics}{% Analyti:1998:SSN,% Baier:1997:HIE,% Besnard:1994:PWS,% Brewka:1997:WFS,% Busi:1999:PSP,% Chitil:1997:SCS,% Corradini:1996:FPO,% Dembinski:1997:STC,% Dix:1995:CTSa,% Dix:1995:CTSb,% Dix:1996:RDN,% Ehrenfeucht:1997:SNT,% Ferrari:1998:PSO,% Gasquet:1995:NIR,% Gomolinska:1996:SNM,% Gottlob:1996:ASM,% Heljanko:1999:ULP,% Hungar:1994:ESS,% Huzar:1997:SSR,% Janicki:1999:CSN,% Janssens:1996:ASE,% Johnson:1999:PDD,% Kasangian:1997:TLT,% Minker:1994:SDL,% Moggi:1995:SEL,% Montanari:1997:CFS,% Plaza:1996:LPP,% Seda:1995:TSL,% Seda:1997:QMS,% Shields:1999:AVS,% Wagner:1995:FPS,% deBakker:1994:BSC,% denHartog:1999:FAM,% Balbiani:1992:MSN,% Broy:1992:ODS,% Fitting:1990:SWS,% Hilken:1992:TCS,% Maggiolo-Schettini:1990:CST,% Przymusinski:1990:WFS,% Schettini:1991:CSU% }. \NAMECITE{Semaphores}{% Ordman:1999:GME% }. \NAMECITE{Semi}{% Doherty:1996:RRC,% Hotz:1997:USD% }. \NAMECITE{Semi-{Dyck}}{% Hotz:1997:USD% }. \NAMECITE{Semi-{Horn}}{% Doherty:1996:RRC% }. \NAMECITE{Semigroups}{% Buszkowski:1997:RRS% }. \NAMECITE{Seminormal}{% Su:1999:CES% }. \NAMECITE{Semiorders}{% Boldi:1996:MCA% }. \NAMECITE{Sentences}{% Ho:1996:MLR,% Marcus:1996:SSD% }. \NAMECITE{Separators}{% Eppstein:1995:DLT% }. \NAMECITE{Sequences}{% Ruohonen:1999:SER% }. \NAMECITE{Sequent}{% Jung:1999:MLS% }. \NAMECITE{Sequential}{% Hungar:1994:ESS,% Kersten:1997:FAS,% Koutras:1999:MVM% }. \NAMECITE{serializability}{% Vidyasankar:1991:UTD% }. \NAMECITE{Series}{% Bozapalidis:1994:RTS,% Honkala:1996:PSG,% Honkala:1997:DPC,% Honkala:1999:EPD% }. \NAMECITE{Set}{% Green:1996:RSM,% Paun:1997:RSA,% Skowron:1997:DAS,% Slowinski:1996:RSR,% Stepaniuk:1998:ORS,% Suraj:1996:DCD,% Yao:1996:CRS,% Danko:1993:SPA,% Gasarch:1992:LPE% }. \NAMECITE{Sets}{% Banerjee:1996:RST,% Banerjee:1997:RSV,% Bryniarski:1996:FCR,% DeLaHiguera:1996:STS,% Dovier:1998:UAV,% Hotz:1997:USD,% Katzberg:1996:VPE,% Kent:1996:RCA,% Koshiba:1997:HSL,% Koutras:1999:MVM,% Lin:1996:FOR,% Marek:1999:CTR,% Nguyen:1999:RSA,% Pagliani:1996:RSN,% Pawlak:1996:RSR,% Skandalis:1994:CIS,% Tanaka:1999:IRA,% Tsumoto:1996:CAF,% Turakainen:1999:DSP,% Fulop:1990:CIS,% Jankowski:1991:CSB,% Kari:1993:DS,% Skowron:1990:RST% }. \NAMECITE{Setting}{% Intrigila:1999:CSM,% Kersten:1997:FAS% }. \NAMECITE{Shake}{% Czaja:1999:RHS% }. \NAMECITE{shape}{% Wlaz:1991:UWS% }. \NAMECITE{Shift}{% Dix:1996:RDN% }. \NAMECITE{Shift-Operations}{% Dix:1996:RDN% }. \NAMECITE{Shifts}{% Miller:1995:CSC% }. \NAMECITE{Short}{% Grigoriev:1996:SPN% }. \NAMECITE{Signal}{% Skarbek:1996:DBS% }. \NAMECITE{Signed}{% Khamsi:1997:DSL,% Murray:1994:ACI% }. \NAMECITE{Silent}{% Berard:1998:CEP% }. \NAMECITE{Similarity}{% Deneva:1997:MLL,% Mitrana:1995:SGS,% Tanaka:1999:IRA% }. \NAMECITE{Simple}{% Brauner:1998:SAC,% Vagvolgyi:1998:SMG,% Aceto:1992:RDT% }. \NAMECITE{Simplification}{% Lynch:1999:BCC,% Steinbach:1995:SOH% }. \NAMECITE{Simulation}{% Czech:1998:RPS,% Jurvanen:1999:DSU% }. \NAMECITE{Simultaneous}{% Noll:1994:TPS% }. \NAMECITE{Size}{% Rahonis:1998:SSS% }. \NAMECITE{Skew}{% Hage:1999:MPS% }. \NAMECITE{{Skolemization}}{% Baaz:1994:SPC% }. \NAMECITE{Slender}{% Koshiba:1997:HSL% }. \NAMECITE{Small}{% Paun:1997:CSS% }. \NAMECITE{{Smyth}}{% Knijnenburg:1996:NSP% }. \NAMECITE{Snack}{% Romanowska:1997:DSA% }. \NAMECITE{Soft}{% DiGesu:1999:AVS,% Pal:1999:PSI% }. \NAMECITE{{SoleX}}{% Monfroy:1999:OAF% }. \NAMECITE{Solitaire}{% Niemi:1999:SZK% }. \NAMECITE{Solution}{% Bouquet:1995:RAT,% Bujosa:1997:UNS% }. \NAMECITE{Solve}{% Heljanko:1999:ULP% }. \NAMECITE{Solver}{% Monfroy:1999:OAF% }. \NAMECITE{Solvers}{% Castro:1998:BCS% }. \NAMECITE{Solving}{% Ruohonen:1999:SER% }. \NAMECITE{Some}{% Boryczka:1998:SAA,% Buszkowski:1997:RRS,% Chakraborty:1997:GCS,% Chakraborty:1997:SPS,% Findler:1997:STR,% Jarvinen:1997:RDS,% Kunen:1990:SRC,% Madlener:1997:SUR,% Moshkov:1996:SBM,% Ramakrishna:1995:SPL,% Skordev:1997:AAS,% Spilker:1996:SUR,% Stewart:1995:RSC,% Turakainen:1999:DSP,% Baratella:1991:MCC,% Giannini:1993:TIS% }. \NAMECITE{Soundness}{% Moser:1994:CSA% }. \NAMECITE{Sources}{% Harper:1995:MMK% }. \NAMECITE{Space}{% Icking:1995:CDF% }. \NAMECITE{Spaces}{% Jarvinen:1997:RDS,% Jung:1999:MLS,% Koutras:1999:MVM,% Skowron:1996:TAS,% Novotny:1992:PCD% }. \NAMECITE{Sparse}{% Grigoriev:1996:SPN% }. \NAMECITE{Spatial}{% Skarbek:1996:DBS,% Duntsch:1999:RAQ% }. \NAMECITE{Special}{% Etherington:1994:ISI,% Pal:1999:PSI,% Skarbek:1998:PSI% }. \NAMECITE{{Specific}}{% Tiplea:1997:JPN% }. \NAMECITE{Specification}{% Bertoli:1999:SIT,% Huzar:1997:SSR,% Jacobs:1995:PPS,% Magott:1995:PES,% Pientka:1999:AIS,% Mauw:1990:PSF% }. \NAMECITE{Specifications}{% Knapik:1999:TST,% Mirkowska:1996:ASD,% Wagner:1996:DOB,% Astesiano:1992:PHO% }. \NAMECITE{Spoken}{% Harper:1995:MMK% }. \NAMECITE{Square}{% Ehrenfeucht:1994:SS% }. \NAMECITE{Stability}{% Sikora:1998:SAO% }. \NAMECITE{Stable}{% Gottlob:1996:ASM,% Heljanko:1999:ULP,% Johnson:1999:PDD,% Koutras:1999:MVM,% Ruiz:1997:CCW,% Aceto:1992:HPC,% Przymusinski:1990:WFS% }. \NAMECITE{Stack}{% Rahonis:1998:SSS% }. \NAMECITE{Stage}{% Schlechta:1996:TSA% }. \NAMECITE{Standards}{% Cieplinski:1998:RIV% }. \NAMECITE{State}{% Giammarresi:1996:TDF,% Gomolinska:1998:CIM% }. \NAMECITE{States}{% Meyer:1995:DLB% }. \NAMECITE{Static}{% Mohnen:1997:CCP% }. \NAMECITE{Stationary}{% Przymusinska:1994:SDE% }. \NAMECITE{Statistical}{% Clark:1997:IIC% }. \NAMECITE{Step}{% Tendera:1994:NAP% }. \NAMECITE{Stochastic}{% Skarbek:1998:MOR,% Zhiltsova:1998:EOC% }. \NAMECITE{Stopping}{% Murthy:1998:OST% }. \NAMECITE{Strategies}{% Bockmayr:1995:NSA,% Castro:1998:BCS% }. \NAMECITE{Stratification}{% Cholak:1994:CLS% }. \NAMECITE{Stratified}{% Fitting:1990:SWS,% Apt:1990:ACP,% Apt:1991:ACP,% Przymusinska:1990:WSL% }. \NAMECITE{Stream}{% Stephens:1996:CST% }. \NAMECITE{Strings}{% Martin:1995:DOS% }. \NAMECITE{{Strong}}{% Dix:1995:CTSa% }. \NAMECITE{Strongly}{% Boldi:1996:MCA,% Stachniak:1990:RDS% }. \NAMECITE{Structural}{% Castilho:1997:MTP,% Czaja:1998:CES,% Matskin:1997:PSS,% Montanari:1994:CCP% }. \NAMECITE{Structurally}{% Kari:1999:CDS% }. \NAMECITE{Structure}{% Lange:1996:CSF,% Schurr:1996:LBP,% Danko:1993:SPA% }. \NAMECITE{Structured}{% Ferrari:1998:PSO% }. \NAMECITE{Structures}{% Angeline:1998:HPE,% Czaja:1998:CES,% Czaja:1998:MMT,% Czaja:1999:RHS,% Harju:1994:RPS,% Liau:1996:AFR,% Michalski:1997:LDS,% Pankowski:1998:PPR,% Schmitt:1998:CS,% Aceto:1992:HPC,% Loogen:1991:MNC,% Zhang:1990:CES% }. \NAMECITE{Study}{% DeLaHiguera:1996:STS,% Mitra:1998:SPI,% Egidi:1992:ODL% }. \NAMECITE{Studying}{% Vigneron:1998:ADT% }. \NAMECITE{Subdirect}{% Bogdanovic:1999:TCE% }. \NAMECITE{Subgoal}{% Fuchs:1999:USC% }. \NAMECITE{Subgroups}{% Biswas:1996:VFS% }. \NAMECITE{Submonoids}{% Ostravsky:1998:PVS% }. \NAMECITE{Subset}{% Heinemann:1999:CCM% }. \NAMECITE{Substitution}{% Curien:1993:SI,% LaTorre:1996:PWS% }. \NAMECITE{Substitutivity}{% Chakraborty:1997:SPS% }. \NAMECITE{subterm}{% Marongiu:1993:UFT% }. \NAMECITE{subtypes}{% Jategaonkar:1993:TIE% }. \NAMECITE{Subtyping}{% Bono:1999:SEI,% Brandt:1998:CAR% }. \NAMECITE{Subwords}{% Ilie:1999:SPF% }. \NAMECITE{Suggested}{% Dassow:1998:ROS% }. \NAMECITE{Survey}{% Skowron:1997:DAS% }. \NAMECITE{Suspended}{% Kowalski:1998:ESL% }. \NAMECITE{Switching}{% Hage:1999:MPS% }. \NAMECITE{Symbolic}{% Bujosa:1996:SED% }. \NAMECITE{Symmetries}{% Junttila:1999:FSA% }. \NAMECITE{{Symposium}}{% Komorowski:1994:GEP% }. \NAMECITE{Synchronization}{% Guo:1996:SL,% LaTorre:1998:SLI,% Menezes:1996:SPN,% Paun:1999:SS,% Rahonis:1998:SSS% }. \NAMECITE{Synchronous}{% Maggiolo-Schettini:1999:ATA,% Taentzer:1996:TSA% }. \NAMECITE{Syntactic}{% Bujosa:1996:SED,% Marcus:1996:SSD,% Maida:1991:SAI% }. \NAMECITE{Syntax}{% Apt:1996:MVL,% Huzar:1997:SSR,% Amir:1993:SP% }. \NAMECITE{Synthesis}{% Egly:1999:IPT,% Kent:1996:RCA,% Matskin:1997:PSS,% Pietkiewicz-Koutny:1999:SPE% }. \NAMECITE{System}{% Bujosa:1997:UNS,% Grzymala-Busse:1997:NVR,% Junttila:1999:FSA,% Ras:1997:QAA,% Takeuti:1998:ASP,% Zytkow:1997:CTF,% Biela:1993:RSD,% Gorrieri:1992:HSD,% Kaminski:1991:EDS,% Koutny:1991:ASI% }. \NAMECITE{Systems}{% Amin:1998:RRB,% Arnold:1999:AFD,% Bertoli:1999:SIT,% Bockmayr:1995:NSA,% Bordihn:1999:APL,% Boryczka:1998:SAA,% Dassow:1995:GCC,% Dembinski:1997:STC,% Dimov:1998:SCS,% Druzdzel:1997:FUP,% Duntsch:1997:AAA,% Ehrenfeucht:1994:SS,% Gabarro:1995:RPL,% Gilleron:1995:RTL,% Gramlich:1995:ARB,% Honkala:1997:DPC,% Janssens:1996:ASE,% Kindler:1999:IDA,% Kryszkiewicz:1996:CRC,% Maggiolo-Schettini:1997:PCE,% Magott:1995:PES,% Mitra:1998:SPI,% Mitrana:1995:SGS,% Montanari:1997:CFS,% Nielsen:1999:BOM,% Paun:1997:CSC,% Paun:1997:CSS,% Paun:1999:SS,% Penczek:1996:ATL,% Pietkiewicz-Koutny:1999:SPE,% Pomykala:1996:NCI,% Radev:1996:AS,% Rusinkiewicz:1997:TWD,% Schurr:1996:LBP,% Sopena:1996:EGR,% Vagvolgyi:1998:SMG,% Wierzchon:1997:RFE,% vanBakel:1996:RIT,% Fulop:1990:CIS,% Hoodgeboom:1991:DPE,% Keesmaat:1990:VCC,% Keesmaat:1991:VCC,% Novotny:1992:NAA,% Paun:1996:PCG,% Ras:1991:QPD,% Rauszer:1992:LIS,% Spilker:1996:SUR,% Stachniak:1991:MRP,% Stoeva:1991:PFP% }. \NAMECITE{Systolic}{% Fachini:1997:CHS% }. \NAMECITE{Tableaux}{% Castilho:1997:MTP,% delCerro:1999:TBD% }. \NAMECITE{Tables}{% Liau:1996:AFR,% Skowron:1996:AMM,% Suraj:1996:DCD,% Zytkow:1997:CTF% }. \NAMECITE{Tasks}{% Devillers:1999:GRT% }. \NAMECITE{Teams}{% Gasarch:1995:LQT% }. \NAMECITE{Technique}{% Mohnen:1997:CCP% }. \NAMECITE{Techniques}{% Findler:1997:STR,% Maggiolo-Schettini:1999:ATA,% Murray:1994:ACI,% Vigneron:1998:ADT% }. \NAMECITE{Temporal}{% Bhat:1998:APO,% Kroger:1991:TLR,% Moser:1994:CSA,% Penczek:1996:ATL,% Ramakrishna:1995:SPL,% Aceto:1992:RDT,% Leischner:1992:CTP% }. \NAMECITE{{Tennenbaum}}{% Mirkowska:1996:ASD% }. \NAMECITE{Tentative}{% Kirkpatrick:1995:TPS% }. \NAMECITE{Term}{% Ariola:1996:ETG,% Fevre:1999:CCA,% Vagvolgyi:1998:SMG,% Zantema:1995:TTR,% vanBakel:1996:RIT,% Fulop:1990:CIS,% Marongiu:1993:UFT% }. \NAMECITE{Term-Rewriting}{% Fevre:1999:CCA% }. \NAMECITE{Terminally}{% Ehrenfeucht:1995:GCT% }. \NAMECITE{Termination}{% Gramlich:1995:ARB,% Plump:1998:TGR,% Zantema:1995:TTR% }. \NAMECITE{Terms}{% DeLaHiguera:1996:STS,% Intrigila:1999:CSM,% Jankowski:1991:CSB% }. \NAMECITE{test}{% Becker:1991:UTA% }. \NAMECITE{Tetrahedralizations}{% Bern:1995:CT% }. \NAMECITE{Text}{% Hoogeboom:1996:TLA% }. \NAMECITE{Their}{% Fitting:1994:KTV,% Knapik:1999:TST,% Winkowski:1996:CWP,% Egly:1999:IPT,% Winkowski:1998:PCN% }. \NAMECITE{Theorem}{% Ben-Amram:1999:PVT,% Bertoli:1999:SIT,% Chu:1994:MFS,% Fevre:1999:CCA,% Fitting:1996:MHT,% Leischner:1992:CTP% }. \NAMECITE{Theorems}{% Karhumaki:1999:DTT% }. \NAMECITE{Theoretic}{% Apt:1998:PTV,% Calude:1998:CAR,% Skowron:1997:DAS,% Bucciarelli:1997:BMR% }. \NAMECITE{Theoretical}{% Wroblewski:1996:TFO% }. \NAMECITE{Theories}{% Benhamou:1999:HMF,% Chakraborty:1997:SPS,% Su:1999:CES,% Zhang:1997:DIC,% Breazu-Tannen:1993:CET,% Gelfond:1992:CCA% }. \NAMECITE{Theory}{% Ballarin:1999:PAE,% Berstel:1996:TAT,% Bouquet:1995:RAT,% Dix:1995:CTSa,% Dix:1995:CTSb,% Lange:1996:CSF,% Marek:1999:CTR,% Perlis:1995:PCT,% Schwind:1994:MLH,% Segerberg:1997:PTB,% Tsumoto:1996:CAF,% Akdag:1992:QTU,% Cazanescu:1990:TNA,% Skowron:1990:RST,% Vidyasankar:1991:UTD% }. \NAMECITE{Three}{% Fitting:1994:KTV,% Fitting:1990:SWS,% Przymusinski:1990:WFS% }. \NAMECITE{three-valued}{% Fitting:1990:SWS,% Przymusinski:1990:WFS% }. \NAMECITE{{Thue}}{% Knapik:1999:TST,% Madlener:1997:SUR% }. \NAMECITE{{Tilson}}{% Rey:1997:BPC% }. \NAMECITE{Time}{% Baeten:1997:DTP,% Ben-Amram:1999:PVT,% Chikalov:1999:ATC,% Czaja:1998:MMT,% Devillers:1999:GRT,% Eppstein:1995:DLT,% Huzar:1997:SSR,% LaTorre:1998:SLI,% Moshkov:1997:UUB,% Murphy:1993:TDN,% Murthy:1998:OST,% Nirkhe:1995:FRT,% Peters:1997:MRT,% Popova-Zeugmann:1999:APT,% Tyszkiewicz:1997:QAC,% Leivant:1993:LCC% }. \NAMECITE{Timed}{% Berard:1998:CEP,% Corradini:1999:RAF,% Dembinski:1997:STC,% Dubois:1991:TPL,% Fokkink:1997:ARP,% Middelburg:1998:TDC,% Nielsen:1999:BOM,% Maggiolo-Schettini:1990:CST% }. \NAMECITE{Token}{% Chlebus:1997:TOT% }. \NAMECITE{Tolerance}{% Skowron:1996:TAS% }. \NAMECITE{Tool}{% Baar:1999:IDV% }. \NAMECITE{tools}{% Huynh:1991:PTR% }. \NAMECITE{Top}{% Fuchs:1999:USC,% Noll:1994:TPS% }. \NAMECITE{Top-Down}{% Noll:1994:TPS,% Fuchs:1999:USC% }. \NAMECITE{Topology}{% Seda:1995:TSL% }. \NAMECITE{Topos}{% Kasangian:1997:TLT% }. \NAMECITE{total}{% Llabres:1997:DPH% }. \NAMECITE{Totality}{% Makinen:1996:TUA% }. \NAMECITE{Tour}{% Rudolph:1998:FMC% }. \NAMECITE{Trace}{% Kudlek:1999:ILC,% Penczek:1996:ATL% }. \NAMECITE{Transactional}{% Rusinkiewicz:1997:TWD% }. \NAMECITE{Transducer}{% Vagvolgyi:1998:GTT% }. \NAMECITE{Transducers}{% Drewes:1996:LBG% }. \NAMECITE{Transformations}{% Egly:1997:DTN,% Egly:1999:IPT,% Taentzer:1996:TSA,% Wagner:1996:DOB% }. \NAMECITE{Transformer}{% Stephens:1996:CST% }. \NAMECITE{Transforming}{% Maggiolo-Schettini:1997:POR% }. \NAMECITE{Transition}{% Chlebus:1997:TOT,% Nielsen:1999:BOM% }. \NAMECITE{Transition-optimal}{% Chlebus:1997:TOT% }. \NAMECITE{Transitions}{% Berard:1998:CEP% }. \NAMECITE{Traps}{% Bogdanovic:1999:TCE% }. \NAMECITE{Tree}{% Bozapalidis:1994:RTS,% Drewes:1996:LBG,% Ehrenfeucht:1997:SNT,% Fachini:1997:CHS,% Gilleron:1995:RTL,% Jurvanen:1999:DSU,% Moshkov:1996:CAD,% Moshkov:1996:SBM,% Peltier:1997:TAA,% Rahonis:1998:SSS,% Vagvolgyi:1998:GTT,% Fulop:1990:CIS% }. \NAMECITE{Tree-Based}{% Ehrenfeucht:1997:SNT% }. \NAMECITE{Trees}{% Chikalov:1999:ATC,% Ehrenfeucht:1995:GCT,% Heinemann:1999:CCM,% Karhumaki:1999:DTT,% Kasangian:1997:TLT,% Moshkov:1994:OPD,% Moshkov:1995:ADD,% Moshkov:1997:BAW,% Moshkov:1997:UUB,% Son:1998:OHO,% Basarab:1997:DFG% }. \NAMECITE{Trends}{% Seredynski:1998:NTP% }. \NAMECITE{Triangulated}{% Diekert:1996:NMC% }. \NAMECITE{Truth}{% Koutras:1999:MVM,% Middelburg:1998:TDC% }. \NAMECITE{{TSP}}{% Boryczka:1998:SAA% }. \NAMECITE{Two}{% Giammarresi:1996:TDF,% Hromkovic:1996:TLB,% Madlener:1997:SUR,% Schlechta:1996:TSA% }. \NAMECITE{Two-Dimensional}{% Giammarresi:1996:TDF% }. \NAMECITE{Two-Letter}{% Madlener:1997:SUR% }. \NAMECITE{Two-Stage}{% Schlechta:1996:TSA% }. \NAMECITE{Type}{% Brandt:1998:CAR,% Giannini:1993:TIS,% Jategaonkar:1993:TIE,% Longo:1995:PTD,% Urzyczyn:1996:PRT,% vanBakel:1996:RIT,% Hilken:1992:TCS,% Pfenning:1993:UPP% }. \NAMECITE{Type-Dependent}{% Longo:1995:PTD% }. \NAMECITE{typed}{% Breazu-Tannen:1993:CET% }. \NAMECITE{Types}{% Fu:1996:RMG,% Preoteasa:1999:RBU,% Urzyczyn:1993:PRE% }. \NAMECITE{Un-}{% Drewes:1996:DGP% }. \NAMECITE{Unambiguous}{% Preoteasa:1999:RBU% }. \NAMECITE{Unary}{% Bogdanovic:1999:TCE% }. \NAMECITE{Uncertain}{% Slowinski:1996:RSR,% Yao:1996:CRS% }. \NAMECITE{Uncertainty}{% Chakraborty:1997:SPS,% Grzymala-Busse:1997:CUE,% Akdag:1992:QTU% }. \NAMECITE{Undecidability}{% Halava:1999:UIW,% Hirshfeld:1996:ULE,% Madlener:1997:SUR,% Spilker:1996:SUR,% Pfenning:1993:UPP% }. \NAMECITE{Undecidable}{% Makinen:1996:TUA,% Marongiu:1993:UFT,% Plump:1998:TGR% }. \NAMECITE{Unearthing}{% Fogel:1998:UFH% }. \NAMECITE{Unification}{% Bujosa:1997:UNS,% Dovier:1998:UAV,% Intrigila:1999:CSM,% Narendran:1996:UMA% }. \NAMECITE{Unified}{% Chen:1994:LOK,% Vidyasankar:1991:UTD% }. \NAMECITE{Uniform}{% Dovier:1998:UAV,% Becker:1991:UTA% }. \NAMECITE{Uniformity}{% Kaufmann:1996:QNU% }. \NAMECITE{Unimprovable}{% Moshkov:1997:UUB% }. \NAMECITE{uniqueness}{% Wlaz:1991:UWS% }. \NAMECITE{Universal}{% Rishe:1996:UMN% }. \NAMECITE{Universality}{% Jurvanen:1999:DSU% }. \NAMECITE{unmarked}{% Schettini:1991:CSU% }. \NAMECITE{Unseen}{% Grzymala-Busse:1997:CUE% }. \NAMECITE{Upper}{% Moshkov:1997:UUB% }. \NAMECITE{Use}{% Fuchs:1999:USC% }. \NAMECITE{Useful}{% Druzdzel:1997:FUP% }. \NAMECITE{User}{% Gaasterland:1997:QAA% }. \NAMECITE{Using}{% Bhatnagar:1995:CHU,% Castro:1998:BCS,% Dubois:1999:UPL,% Heljanko:1999:ULP,% Hotz:1997:USD,% Jacobs:1995:PPS,% Murray:1994:ACI,% Robertson:1994:EPR,% Llabres:1997:DPH% }. \NAMECITE{{V}}{% Biswas:1996:VFS% }. \NAMECITE{valid}{% Danko:1993:SPA% }. \NAMECITE{Valuation}{% Wierzchon:1997:RFE% }. \NAMECITE{Valued}{% Fitting:1994:KTV,% Koutras:1999:MVM,% Murray:1994:ACI,% Banerjee:1997:RSV,% Fitting:1990:SWS,% Fitting:1991:MVM,% Fitting:1992:MVM,% Przymusinski:1990:WFS% }. \NAMECITE{Variable}{% Katzberg:1996:VPE% }. \NAMECITE{variables}{% Apt:1996:MVL% }. \NAMECITE{Varying}{% Baral:1994:VSF% }. \NAMECITE{Vector}{% Cieplinski:1998:ECM,% Karayiannis:1999:RLV,% Keesmaat:1990:VCC,% Keesmaat:1991:VCC,% Rak:1998:VQ,% Shields:1999:AVS% }. \NAMECITE{Verifiability}{% Gasarch:1997:AQV% }. \NAMECITE{Verification}{% Lee:1997:FVD,% Marcus:1996:SSD% }. \NAMECITE{Verifying}{% Baar:1999:IDV% }. \NAMECITE{Version}{% Ben-Amram:1999:PVT,% Grzymala-Busse:1997:NVR% }. \NAMECITE{Versus}{% Bucciarelli:1997:BMR,% Ostravsky:1998:PVS,% Gasarch:1997:AQV% }. \NAMECITE{{VGA}}{% Bandyopadhyay:1999:RBV% }. \NAMECITE{{VGA}-classifier}{% Bandyopadhyay:1999:RBV% }. \NAMECITE{Via}{% Gasarch:1995:LQT,% Lin:1996:FOR,% Montanari:1994:CCP,% Gorrieri:1992:HSD% }. \NAMECITE{Video}{% Cieplinski:1998:RIV% }. \NAMECITE{View}{% Apt:1998:PTV,% Dovier:1998:UAV,% Druzdzel:1997:FUP,% Farwer:1999:LLV% }. \NAMECITE{Viewpoints}{% Attardi:1995:FV% }. \NAMECITE{Virus}{% Kubota:1999:EMV% }. \NAMECITE{Virus-Evolutionary}{% Kubota:1999:EMV% }. \NAMECITE{Vision}{% DiGesu:1999:AVS% }. \NAMECITE{vs}{% Montanari:1992:DCV% }. \NAMECITE{Wavelet}{% Przelaskowski:1998:DPW,% Rakowski:1998:DFW% }. \NAMECITE{Wavelet-based}{% Przelaskowski:1998:DPW% }. \NAMECITE{Wavelets}{% Wojdyllo:1998:WMM% }. \NAMECITE{Ways}{% Stark:1998:NER% }. \NAMECITE{weak}{% Fitting:1990:SWS,% Dix:1995:CTSb% }. \NAMECITE{Weakly}{% Przymusinska:1990:WSL% }. \NAMECITE{Weighted}{% Derencourt:1996:CPW,% Halava:1999:UIW,% Moshkov:1997:BAW,% Winkowski:1996:CWP% }. \NAMECITE{Well}{% Brewka:1997:WFS,% Przymusinski:1990:WFS% }. \NAMECITE{Well-Founded}{% Brewka:1997:WFS,% Przymusinski:1990:WFS% }. \NAMECITE{we're}{% DeJong:1998:ECW% }. \NAMECITE{Where}{% DeJong:1998:ECW% }. \NAMECITE{{Wille}}{% Novotny:1993:DWC% }. \NAMECITE{Without}{% Moser:1994:CSA% }. \NAMECITE{Word}{% Ilie:1999:SPF,% Kudlek:1999:ILC,% LaTorre:1996:PWS% }. \NAMECITE{Words}{% Ilie:1998:GFW,% Ilie:1999:SPF% }. \NAMECITE{Workflows}{% Rusinkiewicz:1997:TWD% }. \NAMECITE{World}{% Ruiz:1997:CCW% }. \NAMECITE{Worlds}{% Besnard:1994:PWS% }. \NAMECITE{{Wulff}}{% Wlaz:1991:UWS% }. \NAMECITE{Zero}{% Niemi:1999:SZK% }. \NAMECITE{Zero-knowledge}{% Niemi:1999:SZK% }.