andre:et:al:tr-93               Andre:1993:PPB
baader:et:al:tr-90              Baader:1990:TKR
baader:et:al:tr-91              Baader:1991:EFL
baader:et:al:kr-92              Baader:1992:EAO
baader:et:al:tr-93              Baader:1993:EAO
baader:et:al:jlli-93            Baader:1993:EFL
baader:et:al:applied-94         Baader:1994:EAO
backstrom:nebel:ecai-92         Baeckstroem:1992:CCP
backstrom:nebel:ijcai-93        Baeckstroem:1993:CRSa
backstrom:nebel:tr-93           Baeckstroem:1993:CRSb
backstrom:nebel:ci-95           Baeckstroem:1995:CRS
bergamaschi:nebel:tr-90         Bergamaschi:1990:TFC
bergamaschi:nebel:applied-94    Bergamaschi:1994:ABV
brugge:et:al:tr-79              Bruegge:1979:OED
christaller:et:al:tr-83         Christaller:1983:WNZ
dannenberg:nebel:tr-83          Dannenberg:1983:DSF
heinsohn:et:al:tl-user-91       Heinsohn:1991:IAR
heinsohn:et:al:aaai-92          Heinsohn:1992:EATa
heinsohn:et:al:tr-92            Heinsohn:1992:EATb
heinsohn:et:al:ai-94            Heinsohn:1994:EAT
hoeppner:et:al:ijcai-83         Hoeppner:1983:BDIa
hoeppner:et:al:tr-83            Hoeppner:1983:BDIb
hoeppner:et:al:tr-84:p1         Hoeppner:1984:DHAa
hoeppner:et:al:tr-84:p2         Hoeppner:1984:DHAb
hoeppner:et:al:tr-84:p3         Hoeppner:1984:DHAc
kobsa:nebel:89                  Kobsa:1989:BWF
lakemeyer:nebel:foundations-kr-94 Lakemeyer:1994:FKRa
lakemeyer:nebel:foundations:kr-94 Lakemeyer:1994:FKRb
Lakemeyer:1994:FKR              Lakemeyer:1994:FKRc
luck:et:al:gwai-85              Luck:1985:BCI
luck:et:al:tr-85                Luck:1985:BS
luck:et:al:tr-87                Luck:1987:ABS
luck:et:al:88                   Luck:1988:SAK
marburger:nebel:gi-83           Marburger:1983:NDHa
marburger:nebel:tr-83           Marburger:1983:NDHb
marburger:et:al:tr-84           Marburger:1984:HAT
mittelstein:et:al:tr-76         Mittelstein:1976:HPS
nebel:pretschner:tr-76          Nebel:1976:EDP
nebel:tr-80                     Nebel:1980:WAA
nebel:marburger:gi-82           Nebel:1982:NSHa
nebel:marburger:tr-82           Nebel:1982:NSHb
nebel:tr-82                     Nebel:1982:SHA
nebel:gwai-83                   Nebel:1983:LSa
nebel:tr-83                     Nebel:1983:LSb
nebel:tr-84                     Nebel:1984:UUL
nebel:dke-85                    Nebel:1985:HWDa
nebel:tr-85:dke                 Nebel:1985:HWDb
nebel:sondheimer:tr-86          Nebel:1985:NGK
nebel:tr-85:workshop            Nebel:1985:PWL
nebel:sondheimer:gwai-86        Nebel:1986:NGK
nebel:tr-87:complexity          Nebel:1987:CCT
nebel:luck:gwai-87              Nebel:1987:IIBa
nebel:luck:tr-87                Nebel:1987:IIBb
nebel:tr-87:cycles              Nebel:1987:TC
nebel:ai-88                     Nebel:1988:CCT
nebel:luck:ismis-88             Nebel:1988:HRB
nebel:kr-89                     Nebel:1989:KLAa
nebel:tr-89:br                  Nebel:1989:KLAb
nebel:smolka:tr-89              Nebel:1989:RRA
nebel:tr-89:term                Nebel:1989:TRI
nebel:ci-89                     Nebel:1989:WHH
nebel:smolka:90                 Nebel:1990:RRA
nebel:dissertation-90           Nebel:1990:RRH
nebel:ai-90                     Nebel:1990:TRI
nebel:smolka:91                 Nebel:1991:ADFa
nebel:smolka:tr-91              Nebel:1991:ADFb
nebel:kr-91                     Nebel:1991:BRDa
nebel:tr-91:br                  Nebel:1991:BRDb
nebel:backstrom:tr-91           Nebel:1991:CCT
nebel:et:al:tr-91               Nebel:1991:IWT
nebel:posn-91                   Nebel:1991:TCS
nebel:peltason:91               Nebel:1991:TRIa
nebel:peltason:tr-91            Nebel:1991:TRIb
nebel:backstrom:aaai-92         Nebel:1992:CCT
nebel:et:al:kr92                Nebel:1992:PKR
nebel:koehler:tr-92             Nebel:1992:PMV
nebel:belief:revision:92        Nebel:1992:SBA
nebel:koehler:ijcai-93          Nebel:1993:PMV
nebel:koehler:tr-93             Nebel:1993:PRV
nebel:burckert:tr-93            Nebel:1993:RAT
nebel:ecai-94                   Nebel:1994:BRO
nebel:backstrom:ai-94           Nebel:1994:CCT
nebel:dreschler-fischer:ki94    Nebel:1994:KAA
nebel:burckert:iski-94          Nebel:1994:MQT
nebel:burckert:aaai-94          Nebel:1994:RAT
nebel:lli-book:95               Nebel:1995:AIC
nebel:ki-conf-95                Nebel:1995:CPQ
nebel:ki-95                     Nebel:1995:KKI
nebel:koehler:ai-95             Nebel:1995:PRV
nebel:burckert:jacm-95          Nebel:1995:RAT
owsnicki-klewe:et:al:ki-einfuehurung:93 Owsnicki-Klewe:1993:WLE
padgham:nebel:ismis-93          Padgham:1993:CCN
patel-schneider:et:al:aim-90    Patel-Schneider:1990:TSL
peltason:et:al:tr-87            Peltason:1987:UGB
schmiedel:et:al:tr-86           Schmiedel:1986:PCS
sondheimer:nebel:aaai-86        Sondheimer:1986:LFKa
sondheimer:nebel:tr-86          Sondheimer:1986:LFKb

.