Several hundreds of BibTeX files are not yet listed above. After inspecting them they will be incorporated into the listing. However, all these files are already accessible through the LIDOS search interface.
The BibTeX files to be checked are given below. All file names are subject to change.
AAAI-Sympos, AAAI, AAL-95, AI-88, AIB-91-1, AIB-91-2, AIDA-88, AIPS-92, AISB-78, AISB-87, AISB-89, AISB-93, Allen, Andriole, Antsaklis, Barr, Benson, Bib-Jorr, Bibel, Bolc, Bolc, Born, Brooks, CAIA-89, CAIA-90, CAIA-91-II, CAIA-91, CAIA-92, CAIA-93, CAIA-94, CANAD-AI-86, CI-89, CI-90, COGNSCI-86, CSCSI-82, CSCSI-88, CSCSI-90, Cantu, Chen, Clancey, Collins, Deen-92, Deen-93, Deen, EAIA-90, EPIA-89, EPIA-91, EPIA-93, EWAIC-93, EWSP-91, Elfes, FLAI-93, Faltings, Fetzer, Fetzer, Fischler, Flach, Gottlob, Graubard, Haugeland, Hookway, IAAI-93, IAS-3, ICGA-85, ICGA-91, IEA-AIE-92, INTSYS-88, ISMIS-91, ISMIS-93, ISMIS-94, Image, Impedovo, Iyengar, Jorrand, Jorrand, Kaneff, Landy, Marik, Marik, Masuch, Music, Mylopoulos, NASA-87, Newell, Nossum, NotesonAAAI-90-1, NotesonAAAI-90-2, ORAIS-89, Osherson-1, Osherson-2, Osherson-3, Papert, Pearson, Plander, Posner, RMCAI-90, Ras-Zemankova, Ras, Ras, Roberto, Robot-1, Robot-2, Robot-3, SCAI-88, SCAI-89, SCAI-91, SCAI-93, STILLINGS, Schnelle, Smith, Symposium, Torasso, Torrance, Trappl, Trends, WEBBER-II, Waterman, YAZDANI, ac-95, ais-91, app-92, art-95, art, ca-95, chen, cohn-thomas, coombs, fou-93, gill, ic-95, icm-94-a40259-394, ip-94, klix, la-95, pinker, pra-92, ras-saitta, schade, simon, vanderVeer, winston-prender, winter, AMAST-91-a26445-82, AMAST-93-a34189-234, Arms-a10154-67, Balas-a40640-75, Batchelor-a6830-45, Bauer-a10676-98, Bickenbach-a5392-410, Bidoit-a26548-63, Bieretc-a6700-23, Biermann-a6690-99, Broy-a38108-21, Bunke-a29320-70, Choffrut-a20683-708, Colloquium-Arto-Salomaa-a36895-926, DAS-94-a38495-520, Data-a6646-61, ESS-92-a31428-534, Ehrig-a19989-20007, FME-94-a37614-654, Halang-a34394-524, Havel-a30740-89, IEEE-88-a11145-215, InfoJapan-90-a12338-457, IntSymTACS-94-37317-59, Jantke-a33774-805, Klinger-a7009-24, Krishna, Kuich-a27503-60, Leeuwen-a16469-86, Leeuwen-a17137-55, Lochovsky-a16969-7003, MFCS-89-a21314-65, Martin-a30097-113, Meyer-a21850-68, Paterson-a20839-95, Roukens-a7329-67, Rozenberg-a19679-94, SEDMS-IV-a39980-99, STACS-91-a21465-515, Schwaertzel-a36109-26, Sta95-a40155-210, TA-94-a39838-70, Tarlecki-a21090-1132, Tsichritzis-a7457-71, UNIX-IV, USENIX-92, USENIX-93, USENIX-94, USENIX-Summer-91, USENIX-Winter-92, USENIX-Winter-94, USENIX, USENIX, USENIX, au-95-a43200-56, cac-95-a42141-217, cr-94-a43412-58, cr-95-a42516-551, ds-95-a42924-68, esa-95-a43257-99, eu-95-a44451-92, fo-95-a43012-33, fp-95-a43845-90, is-95-a43718-65, ma-95-a42256-309, use-94, use-94, use-94, ACM-SIGACT-91, ACM-SIGMOD-91, ADS-93, ArtInt, Bancilhon, Beeri, DEXA-93, DEXA-94, DOOD-91, DOOD-93, Date, Delobel, Dittrich, EDBT-90, EDBT-92, Freytag, Karagiannis, Kerschberg, Kerschberg, Kim, MFDBS-91, PDK-91, POS-94, Papazoglou, SIGMOD-92, SIGMOD-93, Schmidt, YONEZAWA, Zdoni, ad-96, de-95, do-95, minker, mylopoulos, AII-89, AII-94, Ayyub, BOBROW, BRACHMAN, Boley, Boyer, Brachman, Briscoe, Brodie, Brown, CBR-91, CIKM-92, CKBS, Case, Cercone, Dietterich, Dubois, Dubois, ECAI-92-Work, EKAW-88, EKAW-93, EKAW-94, EWCBR-93, EWCBR-93, Fagin, Findler, Frisch, Fuhr, FuzzyLogic, GINSBERG, Galambos, ICCS-93, ICCS-94, IJCAI-91, IPMU-90, IPMU-92, Jackson, Jantke, KBCS-89, KBKS-93, KR-89, KR-91, KR-92, KR-94, Kruse, Kumar, Kyburg, Lehner, Lenzerini, METZING, Martins, Masuch, Michie, Michon, Moore, Moyse, NMREAS-84, NMREAS-88, Nebel, Pfeiffer, RAAP-87, Ringland, Schmalhofer, Schmolze, Shafer, Smets, Smith, Sowa, TARK-86, TARK-88, TARK-90, TARK-92, TKE-87, TKE-90, TKE-S-a16036-78, Uncertainty, Uncertainty, Uncertainty, Uncertainty, Uncertainty, Uncertainty, Weld, Wetter, Workshop, Yager, cas-93, frame, ic-95, stoyan, sym-95, Bolc, Buchanan, COLT-95, Carbonell, Doshita, ECML-93, ECML-94, Famili, Fisher, Frasson, Hanson, IJCAI-93, Kodratoff, Kodratoff, Kolodner, Lernsys, Lesgold, Mandl-a5220-40, Michalski-I, Minton, Mitchell-II, Norrie, PSC, Polson, Self, Shavlik, Shrobe, Tomek, Wrobel, ml-89-a41659-788, ml-91, morik, tra-93, 7thIntWorkshop, Abramson, Banerji, Barwise, Bauer, Baumgartner, Benthem, Bergman, Berka, Blaesius, Blaesius, Blaesius, Bledsoe, Bogdan, Book, Brewka, Broy, CADE-11, CADE-12thIntCon, CSL-89, CSL-90, CSL-91, CSL-92, CTRS-90, Clark, Clarke, Colmerauer, Contemp, DeGroot, Dijkstra, Dix, Dix, ELP-92, ELP-93, Eriksson, Feferman, Fuhrmann-a28173-86, Furukawa, Gabbay, Gabbay, Gabbay, Gabbay, Gabbay, Gabbay, Gabbay, Goodman, Groenendijk, Hentenryck, IEEE-90, IEEE-91, IEEE-92, JELIA-90, JELIA-92, JELIA-94, Joyce, Kirchner, Kirchner, Kowalski, LFCS-92, LFCS-94, LP-94, LPAR-92, LPAR-93, LPAR-94, LPSS-92, Lassez, Lassez, Lindenstrauss, Lloyd, Log-Prog-91, Log-Prog, Log-Symp-91, Logic-87, Logic-90, Logic-Prog, Logic-a12806-54, Logic-a32718-807, Logic-a33879-907, Logic-a36740-61, Lusk, META-92, Maibaum-2, Maibaum, Marek, Mayoh, Meyer, Miola, Mizin, Moennich, Monien, Moschovakis, Muggleton, Nerode, Nivat, Nivat, Non-Classical-Log, Nori, Norman, Owens, PLILP-92, PLILP-94, PPCO-94, Pearce, Penttonen, Pitt, Podelski, Programming, ReTe-95, Rine, Rovan, Rozenberg, Rusinowitch, SAS-94, Schroeder, Schulz, Schwichtenberg, Schwichtenberg, Shyamasundar, Siekmann-II, Siekmann-I, Sleep, Smets, Sterling, Stickel, SympLog, TFM-93, TYPES-93, Tammet, Thomason, Tick, Voronkov, Voronkov, Wainer, Wise, chang-lee, co-94, cp-95, cp-95, ha-94, ha-94, hi-95, lc-94, lp-95, manna, pap-95, walker, Hobbs-a10502-8, IJCAI-91-Work-a18809-18, Locke-a7048-62, Bakker, ECOOP-87, ECOOP-91, ECOOP-92, ECOOP-93, Lochovsky, Loucopoulos, OO-95, OOPSLA-87, OOPSLA-89, OOPSLA-90, OOPSLA-92, Power, ec-91, ec-95, th-94, ACM-Symposium, Agha, Avouris, Becker, Bond, CONCUR-90, CONCUR-91, CONCUR-92, CONCUR-93, CONCUR-94, David, Demazeau, Demazeau, ECAI-94, Gasser, Gupta, Hinton, Hoare, Ito, Ito, LCPC-94, MAAMAW-91, MUC-3, McClelland, Mullender, Ponse, Rumelhart, Rutten, Shapiro-II, Shapiro, Werner-a30323-43, Werner, Wrightson, Yonezawa, al-95, arbib, co-95, eu-95, lc-95, pa-94, pa-95, pa-95, pr-95, ACM-90, ACM-91, ACM-92, ACM-92, ACM-93, ACM-93, AI+SOFTENG-86, Asplos-87, Barstow, Biswas, CAV-92, CAV-93, ESEPC, Glinert, Glinert, Heldal, Huet, Huet, Hughes, IEEE-90, IEEE-93, Jeuring, KBSE-94, LFP, Lauer, Lowry, Main, Maluszynski, Morgenbrod, POPL-94, Partridge, SIGPLAN-87, SR-94, TACS-91, TAPSOFT-91, TLCA-95, Tap, VL-91, VL-92, Veni, Winkler, Wippermann, acm-81, acm-82, acm2, acm, ad-95, es-95, fun-94, sr-89, tap-95.