XML File Code

<?xml version="1.0" encoding="ISO-8859-1"?>
<!DOCTYPE dblp SYSTEM "dblp.dtd">
<!--suppress ALL -->
<dblp>
    <article mdate="2020-06-25" key="tr/meltdown/s18" publtype="informal">
        <author>Paul Kocher</author>
        <author>Daniel Genkin</author>
        <author>Daniel Gruss</author>
        <author>Werner Haas 0004</author>
        <author>Mike Hamburg</author>
        <author>Moritz Lipp</author>
        <author>Stefan Mangard</author>
        <author>Thomas Prescher 0002</author>
        <author>Michael Schwarz 0001</author>
        <author>Yuval Yarom</author>
        <title>Spectre Attacks: Exploiting Speculative Execution.</title>
        <journal>meltdownattack.com</journal>
        <year>2018</year>
        <ee type="oa">https://spectreattack.com/spectre.pdf</ee>
    </article>
    <article mdate="2020-06-25" key="tr/meltdown/m18" publtype="informal">
        <author>Moritz Lipp</author>
        <author>Michael Schwarz 0001</author>
        <author>Daniel Gruss</author>
        <author>Thomas Prescher 0002</author>
        <author>Werner Haas 0004</author>
        <author>Stefan Mangard</author>
        <author>Paul Kocher</author>
        <author>Daniel Genkin</author>
        <author>Yuval Yarom</author>
        <author>Mike Hamburg</author>
        <title>Meltdown</title>
        <journal>meltdownattack.com</journal>
        <ee type="oa">https://meltdownattack.com/meltdown.pdf</ee>
        <year>2018</year>
    </article>
    <book mdate="2019-05-27" key="tr/acm/CS2013">
        <title>Computer Science Curricula 2013</title>
        <publisher>ACM Press and IEEE Computer Society Press</publisher>
        <year>2013</year>
        <ee>https://doi.org/10.1145/2534860</ee>
        <isbn>978-1-4503-2309-3</isbn>
    </book>
    <article mdate="2019-10-25" key="tr/gte/TR-0263-08-94-165" publtype="informal">
        <author>Frank Manola</author>
        <title>An Evaluation of Object-Oriented DBMS Developments: 1994 Edition.</title>
        <journal>GTE Laboratories Incorporated</journal>
        <volume>TR-0263-08-94-165</volume>
        <month>August</month>
        <year>1994</year>
        <url>db/journals/gtelab/index.html#TR-0263-08-94-165</url>
    </article><article mdate="2019-10-25" key="tr/gte/TR-0222-10-92-165" publtype="informal">
    <author>Michael L. Brodie</author>
    <author>Michael Stonebraker</author>
    <title>DARWIN: On the Incremental Migration of Legacy Information Systems</title>
    <journal>GTE Laboratories Incorporated</journal>
    <volume>TR-0222-10-92-165</volume>
    <month>March</month>
    <year>1993</year>
    <url>db/journals/gtelab/index.html#TR-0222-10-92-165</url>
    <note>This report is also available as a Technical Memorandum of Electronics Research Laboratory, College of Engineering, University of California, Berkeley.</note>
</article>
    <article mdate="2019-10-25" key="tr/gte/TR-0174-12-91-165" publtype="informal">
        <author>Mark F. Hornick</author>
        <author>Joe D. Morrison</author>
        <author>Farshad Nayeri</author>
        <title>Integrating Heterogeneous, Autonomous, Distributed Applications Using the DOM Prototype.</title>
        <journal>GTE Laboratories Incorporated</journal>
        <volume>TR-0174-12-91-165</volume>
        <month>December</month>
        <year>1991</year>
        <url>db/journals/gtelab/index.html#TR-0174-12-91-165</url>
    </article><article mdate="2019-10-25" key="tr/gte/TM-0149-06-89-165" publtype="informal">
    <author>Frank Manola</author>
    <title>Object Model Capabilities For Distributed Object Management.</title>
    <journal>GTE Laboratories Incorporated</journal>
    <volume>TM-0149-06-89-165</volume>
    <month>June</month>
    <year>1989</year>
    <url>db/journals/gtelab/index.html#TM-0149-06-89-165</url>
</article><article mdate="2019-10-25" key="tr/gte/TR-0310-11-95-165" publtype="informal">
    <author>Frank Manola</author>
    <title>Integrating Object-Oriented Applications and Middleware with Relational Databases.</title>
    <journal>GTE Laboratories Incorporated</journal>
    <volume>TR-0310-11-95-165</volume>
    <month>November</month>
    <year>1995</year>
    <url>db/journals/gtelab/index.html#TR-0310-11-95-165</url>
</article><article mdate="2019-10-25" key="tr/gte/TR-0146-06-91-165" publtype="informal">
    <author>Alejandro P. Buchmann</author>
    <author>M. Tamer &Ouml;zsu</author>
    <author>Dimitrios Georgakopoulos</author>
    <title>Towards a Transaction Management System for DOM.</title>
    <journal>GTE Laboratories Incorporated</journal>
    <volume>TR-0146-06-91-165</volume>
    <month>June</month>
    <year>1991</year>
    <url>db/journals/gtelab/index.html#TR-0146-06-91-165</url>
</article><article mdate="2019-10-25" key="tr/gte/TR-0231-08-93-165" publtype="informal">
    <author>Frank Manola</author>
    <author>Sandra Heiler</author>
    <title>A 'RISC' Object Model for Object System Interoperation: Concepts and Applications.</title>
    <journal>GTE Laboratories Incorporated</journal>
    <volume>TR-0231-08-93-165</volume>
    <month>August</month>
    <year>1993</year>
    <url>db/journals/gtelab/index.html#TR-0231-08-93-165</url>
</article><article mdate="2019-10-25" key="tr/gte/TR-0244-12-93-165" publtype="informal">
    <author>Frank Manola</author>
    <title>MetaObject Protocol Concepts for a RISC Object Model.</title>
    <journal>GTE Laboratories Incorporated</journal>
    <volume>TR-0244-12-93-165</volume>
    <month>December</month>
    <year>1993</year>
    <url>db/journals/gtelab/index.html#TR-0244-12-93-165</url>
</article><article mdate="2019-10-25" key="tr/gte/TR-0169-12-91-165" publtype="informal">
    <author>Frank Manola</author>
    <title>Object Data Language Facilities for Multimedia Data Types.</title>
    <journal>GTE Laboratories Incorporated</journal>
    <volume>TR-0169-12-91-165</volume>
    <month>December</month>
    <year>1991</year>
    <url>db/journals/gtelab/index.html#TR-0169-12-91-165</url>
</article><article mdate="2019-10-25" key="tr/gte/TM-0332-11-90-165" publtype="informal">
    <author>Frank Manola</author>
    <author>Mark F. Hornick</author>
    <author>Alejandro P. Buchmann</author>
    <title>Object Data Model Facilities for Multimedia Data Types.</title>
    <journal>GTE Laboratories Incorporated</journal>
    <volume>TM-0332-11-90-165</volume>
    <month>December</month>
    <year>1990</year>
    <url>db/journals/gtelab/index.html#TM-0332-11-90-165</url>
</article><article mdate="2019-10-25" key="tr/gte/TM-0014-06-88-165" publtype="informal">
    <author>Frank Manola</author>
    <title>Distributed Object Management Technology.</title>
    <journal>GTE Laboratories Incorporated</journal>
    <volume>TM-0014-06-88-165</volume>
    <month>June</month>
    <year>1988</year>
    <url>db/journals/gtelab/index.html#TM-0014-06-88-165</url>
</article><article mdate="2019-10-25" key="tr/gte/TR-0236-09-93-165" publtype="informal">
    <author>Farshad Nayeri</author>
    <author>Benjamin Hurwitz</author>
    <title>Experiments with Dispatching in a Distributed Object System.</title>
    <journal>GTE Laboratories Incorporated</journal>
    <volume>TR-0236-09-93-165</volume>
    <month>July</month>
    <year>1993</year>
    <url>db/journals/gtelab/index.html#TR-0236-09-93-165</url>
</article><article mdate="2017-06-08" key="tr/ucb/erl-m79-28" publtype="informal">
    <author>Michael Stonebraker</author>
    <title>Muffin: A Distributed Database Machine</title>
    <journal>University of California at Berkeley</journal>
    <volume>UCB/ERL M79/28</volume>
    <month>May</month>
    <year>1979</year>
</article><article mdate="2019-10-25" key="tr/sql/X3H2-90-412" publtype="informal">
    <author>David Beech</author>
    <author>Cetin Ozbutun</author>
    <title>Object Oriented DBMS as a Generalization of Relational DBMS</title>
    <journal>ANSI X3H2</journal>
    <volume>X3H2-90-412</volume>
    <year>1990</year>
    <url>db/conf/x3h2/index.html#X3H2-90-412</url>
    <cdrom>SQL/X3H2-90-412.pdf</cdrom>
</article><article mdate="2019-10-25" key="tr/sql/X3H2-91-133rev1" publtype="informal">
    <author>Krishna G. Kulkarni</author>
    <author>Jim Melton</author>
    <author>Jonathan Bauer</author>
    <author>Mike Kelley</author>
    <title>Inheritance for ADTs (revised)</title>
    <journal>ANSI X2H2</journal>
    <volume>DBL:KAW-006 X3H2-91-133rev1</volume>
    <month>July</month>
    <year>1991</year>
    <url>db/conf/x3h2/index.html#X3H2-91-133rev1</url>
    <cdrom>SQL/x3h2-91-133rev1.pdf</cdrom>
</article><article mdate="2019-10-25" key="tr/sql/X3H2-90-292" publtype="informal">
    <author>Phil Shaw</author>
    <title>Modification of User Defined Types</title>
    <journal>ANSI X3H2</journal>
    <volume>X3H2-90-292</volume>
    <year>1990</year>
    <url>db/conf/x3h2/index.html#X3H2-90-292</url>
    <cdrom>SQL/X3H2-90-292.pdf</cdrom>
</article><article mdate="2019-10-25" key="tr/sql/X3H2-91-083rev1" publtype="informal">
    <author>Jim Melton</author>
    <author>Jonathan Bauer</author>
    <author>Krishna G. Kulkarni</author>
    <title>Object ADTs (with improvements for Value ADTs)</title>
    <journal>ANSI X3H2</journal>
    <volume>DBL:ARL-029 X3H2-91-083rev1</volume>
    <month>April</month>
    <year>1991</year>
    <url>db/conf/x3h2/index.html#X3H2-91-083rev1</url>
    <cdrom>SQL/X3H2-91-083rev1.pdf</cdrom>
</article><article mdate="2019-10-25" key="tr/sql/X3H2-92-062" publtype="informal">
    <author>David Beech</author>
    <title>Unification of Value and Object ADTs</title>
    <journal>ANSI X3H2</journal>
    <volume>X3H2-92-062</volume>
    <year>1992</year>
    <url>db/conf/x3h2/index.html#X3H2-92-062</url>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS191" publtype="informal">
    <author>Rolf Sander</author>
    <title>Die Repr&auml;sentation r&auml;umlichen Wissens und die Behandlung von Einbettungsproblemen mit Quadtreedepiktionen</title>
    <journal>IWBS Report</journal>
    <volume>191</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG59" publtype="informal">
    <author>Thomas Ludwig 0001</author>
    <title>Algebraical Optimization of FTA-Expressions</title>
    <journal>LILOG-Report</journal>
    <volume>59</volume>
    <year>1988</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG15" publtype="informal">
    <author>Werner Emde</author>
    <author>Claus-Rainer Rollinger</author>
    <title>Wissensrepr&auml;sentation und Maschinelles Lernen</title>
    <journal>LILOG-Report</journal>
    <volume>15</volume>
    <year>1987</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG40" publtype="informal">
    <author>Christoph Beierle</author>
    <author>Udo Pletat</author>
    <author>Hans Uszkoreit</author>
    <title>An Algebraic Characterization of STUF</title>
    <journal>LILOG-Report</journal>
    <volume>40</volume>
    <year>1988</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS225" publtype="informal">
    <author>Ulrike Rackow</author>
    <author>Ido Dagan</author>
    <author>Ulrike Schwall</author>
    <title>A Combined Symbolic-Empirical Apprach for the Automatic Translation of Compounds</title>
    <journal>IWBS Report</journal>
    <volume>225</volume>
    <year>1992</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOGM2" publtype="informal">
    <author>Brigitte Bartsch-Sp&ouml;rl</author>
    <title>Zur Systemarchitektur von LILOG</title>
    <journal>LILOG-Memo</journal>
    <volume>2</volume>
    <year>1987</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG61" publtype="informal">
    <author>Erich Gehlen</author>
    <author>Burkhard Kehrbusch</author>
    <title>Mengenorientierte Auswertung von Anfragen in der Logikprogrammiersprache PROLOG</title>
    <journal>LILOG-Report</journal>
    <volume>61</volume>
    <year>1988</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG53" publtype="informal">
    <author>Markus H&ouml;hfeld</author>
    <author>Gert Smolka</author>
    <title>Definite Resolution over Constraint Languages</title>
    <journal>LILOG-Report</journal>
    <volume>53</volume>
    <year>1988</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOGM9" publtype="informal">
    <author>Birgit Wesche</author>
    <title>Dokumentation der Syntax der LILOG-Grammatik</title>
    <journal>LILOG-Memo</journal>
    <volume>9</volume>
    <year>1988</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG45" publtype="informal">
    <author>Christopher Habel</author>
    <title>Cognitive Linguistics: The Processing of Spatial Concepts</title>
    <journal>LILOG-Report</journal>
    <volume>45</volume>
    <year>1988</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG56" publtype="informal">
    <author>Thomas Ludwig 0001</author>
    <author>Bernd Walter</author>
    <author>Michael Ley</author>
    <author>Albert Maier</author>
    <author>Erich Gehlen</author>
    <title>LILOG-DB: Database Support for Knowledge-Based Systems</title>
    <journal>LILOG-Report</journal>
    <volume>56</volume>
    <year>1988</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS201" publtype="informal">
    <author>Thomas Ludwig 0001</author>
    <author>Stefan Benzschawel</author>
    <author>Erich Gehlen</author>
    <title>Differential Closure Computation for General Horn-Clause Queries</title>
    <journal>IWBS Report</journal>
    <volume>201</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/G320-6590" publtype="informal">
    <title>SQL/Data System for VSE: A Relational Data System for Application Development.</title>
    <journal>IBM Publication</journal>
    <volume>G320-6590</volume>
    <publisher>IBM Corporation, White Plains, NY</publisher>
    <year>1981</year>
    <note>republished on "ACM SIGMOD Anthology"</note>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS111" publtype="informal">
    <author>Egon B&ouml;rger</author>
    <title>A Logical Operational Semantics of Full Prolog</title>
    <journal>IWBS Report</journal>
    <volume>111</volume>
    <year>1990</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG60" publtype="informal">
    <author>Michael Ley</author>
    <title>Ein Fact Manager zur persistenten Speicherung variabel strukturierter komplexer Objekte</title>
    <journal>LILOG-Report</journal>
    <volume>60</volume>
    <year>1988</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS228" publtype="informal">
    <author>Roland Seiffert</author>
    <title>How could a good system of practical NLP look like?</title>
    <journal>IWBS Report</journal>
    <volume>228</volume>
    <year>1992</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS188" publtype="informal">
    <author>Gisela Sch&ouml;pke</author>
    <title>M&ouml;glichkeiten des Einsatzes eines dreiwertigen Theorembeweisers</title>
    <journal>IWBS Report</journal>
    <volume>188</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS87" publtype="informal">
    <author>Stefan B&ouml;ttcher</author>
    <title>Attribute Inheritance Implemented on Top of a Relational Database System</title>
    <journal>IWBS Report</journal>
    <volume>87</volume>
    <year>1989</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS177" publtype="informal">
    <author>Ulrike Schwall</author>
    <title>LMT - Machine Translation Demonstration</title>
    <journal>IWBS Report</journal>
    <volume>177</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG3" publtype="informal">
    <author>Rudi Studer</author>
    <author>Bernd Walter</author>
    <title>Implementation Aspects of a Natural Language Understanding System in a Prolog/DB Environment</title>
    <journal>LILOG-Report</journal>
    <volume>3</volume>
    <year>1986</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS154" publtype="informal">
    <author>Albert Maier</author>
    <author>Michael Ley</author>
    <author>Erich Gehlen</author>
    <title>Sort Processing in a Deductive Database System</title>
    <journal>IWBS Report</journal>
    <volume>154</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS150" publtype="informal">
    <author>Thomas Ludwig 0001</author>
    <author>Bernd Walter</author>
    <title>EFTA: A Database Retrieval Algebra for Feature Terms</title>
    <journal>IWBS Report</journal>
    <volume>150</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS165" publtype="informal">
    <author>Toni Bollinger</author>
    <author>Udo Pletat</author>
    <title>Knowledge in Operation</title>
    <journal>IWBS Report</journal>
    <volume>165</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS163" publtype="informal">
    <author>Christoph Beierle</author>
    <title>An Overview on Planning Applications in PROTOS-L</title>
    <journal>IWBS Report</journal>
    <volume>163</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG34" publtype="informal">
    <author>Carola Eschenbach</author>
    <title>&Uuml;ber Ans&auml;tze zur Darstellung von Konzepten und Prototypen</title>
    <journal>LILOG-Report</journal>
    <volume>34</volume>
    <year>1988</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS68" publtype="informal">
    <author>Manfred Schmidt-Schau&szlig;</author>
    <author>Gert Smolka</author>
    <title>Attributive Concept Descriptions with Unions and Complements</title>
    <journal>IWBS Report</journal>
    <volume>68</volume>
    <year>1989</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS166" publtype="informal">
    <author>Hans-Joachim Goltz</author>
    <title>Ein praktischer Algorithmus f&uuml;r die E-Unifikation</title>
    <journal>IWBS Report</journal>
    <volume>166</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG5" publtype="informal">
    <author>Claus-Rainer Rollinger</author>
    <title>Simulation Sprachlichen Verstehens: Generelle Probleme bei der semantischen Interpretation der nat&uuml;rlichen Sprache</title>
    <journal>LILOG-Report</journal>
    <volume>5</volume>
    <year>1986</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS126" publtype="informal">
    <author>Otthein Herzog</author>
    <title>The Institute for Knowledge Based Systems in the IBM Germany Scientific Center</title>
    <journal>IWBS Report</journal>
    <volume>126</volume>
    <year>1990</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS208" publtype="informal">
    <author>Bernhard Beckert</author>
    <title>Konzeption und Implementierung von Gleichheit f&uuml;r einen tableau-basierten Theorem-Beweiser</title>
    <journal>IWBS Report</journal>
    <volume>208</volume>
    <year>1992</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS89" publtype="informal">
    <author>Christoph Beierle</author>
    <author>Stefan B&ouml;ttcher</author>
    <title>PROTOS-L: Towards a Knowledge Base Programming Language</title>
    <journal>IWBS Report</journal>
    <volume>89</volume>
    <year>1989</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS212" publtype="informal">
    <author>Stefan J. Schierholz</author>
    <title>Syntaktische Informationseinheiten zu deutschen Adjektiven</title>
    <journal>IWBS Report</journal>
    <volume>212</volume>
    <year>1992</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG37" publtype="informal">
    <author>Christoph Beierle</author>
    <author>Udo Pletat</author>
    <title>On the Interpretation of Equality, Sorts, and Logic Programming</title>
    <journal>LILOG-Report</journal>
    <volume>37</volume>
    <year>1987</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS237" publtype="informal">
    <author>Birgit Wendholt</author>
    <title>DInG - ein Dom&auml;nen-orientierter Inkrementeller und Integrierter Generator f&uuml;r koh&auml;rente Texte</title>
    <journal>IWBS Report</journal>
    <volume>237</volume>
    <year>1992</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS180" publtype="informal">
    <author>Gudrun Klose</author>
    <title>Prozedurale Semantik. Repr&auml;sentation der Sprechergegenwart.</title>
    <journal>IWBS Report</journal>
    <volume>180</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOGM8" publtype="informal">
    <author>Michael Herweg</author>
    <author>Mohammed Nadjib Khenkhar</author>
    <author>Simone Pribbenow</author>
    <author>Klaus Rehk&auml;mper</author>
    <title>Elsa&szlig;-Wanderung f&uuml;r Linguisten: Exemplarische Analyse und Repr&auml;sentation eines Satzes aus einer Reisebeschreibung</title>
    <journal>LILOG-Memo</journal>
    <volume>8</volume>
    <year>1988</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS220" publtype="informal">
    <author>Anja Theuner</author>
    <title>"Dictionary Dialog" - Entwurf des Funktionsumfangs f&uuml;r eine Benutzerschnittstelle eines integrierten maschinellen/maschinenunterst&uuml;tzten &Uuml;bersetzungssystems und prototypische Erstellung der Bildschirmfolge f&uuml;r die Funktion "Semantische Relation"</title>
    <journal>IWBS Report</journal>
    <volume>220</volume>
    <year>1992</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOGM4" publtype="informal">
    <author>Brigitte Bartsch-Sp&ouml;rl</author>
    <title>Zur Behandlung komplexer Objekte in LILOG</title>
    <journal>LILOG-Memo</journal>
    <volume>4</volume>
    <year>1987</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG26" publtype="informal">
    <author>Peter H. Schmitt</author>
    <title>Computational aspects of three-valued logic</title>
    <journal>LILOG-Report</journal>
    <volume>26</volume>
    <year>1987</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG38" publtype="informal">
    <author>Christoph Beierle</author>
    <author>Udo Pletat</author>
    <title>Semantics of Logic Programs with Equational Abstract Data Type Specifications</title>
    <journal>LILOG-Report</journal>
    <volume>38</volume>
    <year>1988</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS157" publtype="informal">
    <author>Claudia Maienborn</author>
    <title>Processing Spatial Knowledge in LILOG</title>
    <journal>IWBS Report</journal>
    <volume>157</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS231" publtype="informal">
    <author>Brigitte Bl&auml;ser</author>
    <author>Ulrike Schwall</author>
    <author>Angelika Storrer</author>
    <title>A Reusable Lexical Database Tool for Machine Translation</title>
    <journal>IWBS Report</journal>
    <volume>231</volume>
    <year>1992</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS146" publtype="informal">
    <author>Esther K&ouml;nig</author>
    <title>Der Lambek-Kalk&uuml;l. Eine Logik f&uuml;r lexikalische Grammatiken</title>
    <journal>IWBS Report</journal>
    <volume>146</volume>
    <year>1990</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS199" publtype="informal">
    <author>Claudia Mrotzek</author>
    <title>Parenthetische Konstruktionen des Deutschen.</title>
    <journal>IWBS Report</journal>
    <volume>199</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS241" publtype="informal">
    <author>Birgit Wesche</author>
    <title>Symmetric Coordination: An Alternative Theory of Phrase Structure</title>
    <journal>IWBS Report</journal>
    <volume>241</volume>
    <year>1992</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG8" publtype="informal">
    <author>Stefan B&ouml;rner</author>
    <author>Rudi Studer</author>
    <title>An Approach to Manage Large Inheritance Networks</title>
    <journal>LILOG-Report</journal>
    <volume>8</volume>
    <year>1987</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS159" publtype="informal">
    <author>Lutz Voelkel</author>
    <title>On the Problem of Masking Special Errors by Serial Signature Analysis</title>
    <journal>IWBS Report</journal>
    <volume>151</volume>
    <year>1999</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG27" publtype="informal">
    <author>Peter H. Schmitt</author>
    <title>Eine dreiwertige Logik zur Verarbeitung partieller Information</title>
    <journal>LILOG-Report</journal>
    <volume>27</volume>
    <year>1987</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS132" publtype="informal">
    <author>Stefan B&ouml;ttcher</author>
    <title>An Inference Engine for Function Free Logic Programs</title>
    <journal>IWBS Report</journal>
    <volume>132</volume>
    <year>1990</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS190" publtype="informal">
    <author>Kai-Uwe Carstensen</author>
    <title>Aspekte der Generierung von Wegbeschreibungen</title>
    <journal>IWBS Report</journal>
    <volume>190</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS114" publtype="informal">
    <author>Ulrike Weiland</author>
    <author>Martin H&uuml;bner</author>
    <title>Das Projekt EXCEPT: Expert-System for Computer-Aided Environmental Planning Tasks</title>
    <journal>IWBS Report</journal>
    <volume>114</volume>
    <year>1990</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS144" publtype="informal">
    <author>Egon B&ouml;rger</author>
    <author>Peter H. Schmitt</author>
    <title>A Formal Operational Semantics for PROLOG III: Using Dynamic Algebras</title>
    <journal>IWBS Report</journal>
    <volume>144</volume>
    <year>1990</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS83" publtype="informal">
    <author>Michael Czymmeck</author>
    <title>Subsumtion f&uuml;r eine erweiterte attributive Sortenbeschreibungssprache</title>
    <journal>IWBS Report</journal>
    <volume>83</volume>
    <year>1989</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS121" publtype="informal">
    <author>Michael Tarnowski</author>
    <title>Mathematische Grundlagen der formalen Linguistik - Ein Kompendium</title>
    <journal>IWBS Report</journal>
    <volume>121</volume>
    <year>1990</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG29" publtype="informal">
    <author>Helmar Gust</author>
    <author>Petra Ludewig</author>
    <author>Mechthild Rickheit</author>
    <title>Die Struktur des Lexikons f&uuml;r LILOG</title>
    <journal>LILOG-Report</journal>
    <volume>29</volume>
    <year>1988</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS130" publtype="informal">
    <author>Martin H&uuml;bner</author>
    <author>Kai von Luck</author>
    <author>Ulrike Weiland</author>
    <title>Die Konzeption des EXCEPT-Systems: Ein &Uuml;berblick</title>
    <journal>IWBS Report</journal>
    <volume>130</volume>
    <year>1990</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS210" publtype="informal">
    <author>Elisabeth Neugebauer</author>
    <title>Richtungsangabe oder Wegkonnektor? R&auml;mliches "Zur&uuml;ck" und seine Semantik</title>
    <journal>IWBS Report</journal>
    <volume>210</volume>
    <year>1992</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG19" publtype="informal">
    <author>Mohammed Nadjib Khenkhar</author>
    <title>Vor&uuml;berlegungen zur depiktionalen Repr&auml;sentation r&auml;umlichen Wissens</title>
    <journal>LILOG-Report</journal>
    <volume>19</volume>
    <year>1988</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS135" publtype="informal">
    <author>Sitaram Lanka</author>
    <author>Eric Mays</author>
    <title>Fully Persistent B<sup>+</sup>-trees</title>
    <journal>IWBS Report</journal>
    <volume>135</volume>
    <year>1990</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG11" publtype="informal">
    <author>Petra Maier</author>
    <title>Der modale Infinitiv: Syntaktische oder lexikalische Beschreibung?</title>
    <journal>LILOG-Report</journal>
    <volume>11</volume>
    <year>1987</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2020-02-21" key="tr/ibm/RJ2772" publtype="informal">
    <author>Michel E. Adiba</author>
    <author>Bruce G. Lindsay 0001</author>
    <title>Database Snapshots.</title>
    <journal>Research Report / RJ / IBM / San Jose, California</journal>
    <volume>RJ2772</volume>
    <year>1980</year>
    <note>republished on "ACM SIGMOD Anthology"</note>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG23" publtype="informal">
    <author>Birgit Wesche</author>
    <title>At Ease with "AT"</title>
    <journal>LILOG-Report</journal>
    <volume>23</volume>
    <year>1987</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG10" publtype="informal">
    <author>Stefan B&ouml;rner</author>
    <title>Datenbankunterst&uuml;tzung f&uuml;r wissensbasierte Systeme</title>
    <journal>LILOG-Report</journal>
    <volume>10</volume>
    <year>1987</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS171" publtype="informal">
    <author>Gudrun Klose</author>
    <author>Ewald Lang</author>
    <author>Thomas Pirlein</author>
    <title>Die Ontologie und Axiomatik der Wissensbasis von LEU/2 - Erfahrungen, Probleme, Ausblicke</title>
    <journal>IWBS Report</journal>
    <volume>171</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS162" publtype="informal">
    <author>Gerd Kort&uuml;m</author>
    <title>Temporales Schlie&szlig;en in einem nat&uuml;rlichsprachlichen System</title>
    <journal>IWBS Report</journal>
    <volume>162</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS91" publtype="informal">
    <author>Ipke Wachsmuth</author>
    <title>Zur intelligenten Organisation von Wissensbest&auml;nden in k&uuml;nstlichen Systemen</title>
    <journal>IWBS Report</journal>
    <volume>91</volume>
    <year>1989</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG7" publtype="informal">
    <author>Udo Pletat</author>
    <author>Christoph Beierle</author>
    <title>The Semantics of Asserting and Retracting Clauses to Logic Programs</title>
    <journal>LILOG-Report</journal>
    <volume>7</volume>
    <year>1987</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS205" publtype="informal">
    <author>Christoph Beierle</author>
    <author>Egon B&ouml;rger</author>
    <title>Correctness Proof for the WAM</title>
    <journal>IWBS Report</journal>
    <volume>205</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG13" publtype="informal">
    <author>Birgit Wesche</author>
    <author>Ingrid Renz</author>
    <title>Word Order and Focus Projection</title>
    <journal>LILOG-Report</journal>
    <volume>13</volume>
    <year>1987</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS106" publtype="informal">
    <author>Kai von Luck</author>
    <title>KL-ONE: Eine Einf&uuml;hrung</title>
    <journal>IWBS Report</journal>
    <volume>106</volume>
    <year>1990</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS134" publtype="informal">
    <author>Stefan B&ouml;ttcher</author>
    <title>Improving the Concurrency of Integrity Checks and Write Operations</title>
    <journal>IWBS Report</journal>
    <volume>134</volume>
    <year>1990</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS96" publtype="informal">
    <author>Noam Paz</author>
    <title>&Uuml;ber Vergleichskonstruktionen</title>
    <journal>IWBS Report</journal>
    <volume>96</volume>
    <year>1989</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS192" publtype="informal">
    <author>Kurt Eberle</author>
    <title>Ereignisse: Ihre Logik und Ontologie aus textsemantischer Sicht</title>
    <journal>IWBS Report</journal>
    <volume>192</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS107" publtype="informal">
    <author>Michael Ley</author>
    <author>Bernd Walter</author>
    <title>Der LILOG-DB Fact Manager: Ein Datenbankkern zur Speicherung variabel strukturierter komplexer Objekte</title>
    <journal>IWBS Report</journal>
    <volume>107</volume>
    <year>1989</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS112" publtype="informal">
    <editor>Thomas Wetter</editor>
    <editor>Rolf Engelbrecht</editor>
    <editor>Reinhold Haux</editor>
    <editor>Frank Puppe</editor>
    <editor>Hans Vo&szlig;</editor>
    <title>Wissensbasierte Systeme in der Medizin: GMDS/GI, Abstracts des 1. gemeinsamen Workshops der AG Expertensysteme der GMDS und der FG Diagnostik und Klassifikation im GI-Fachausschu&szlig; 1.5, 29.-30. M&auml;rz 1990, Heidelberg</title>
    <journal>IWBS Report</journal>
    <volume>112</volume>
    <year>1990</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS167" publtype="informal">
    <author>Gregor Erbach</author>
    <title>An Environment for Experimentation with Parsing Strategies</title>
    <journal>IWBS Report</journal>
    <volume>167</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG50" publtype="informal">
    <author>Christos Garidis</author>
    <title>Logisches Clustering von PROTOS-L Prozeduren</title>
    <journal>LILOG-Report</journal>
    <volume>50</volume>
    <year>1988</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS232" publtype="informal">
    <author>Jennifer Brundage</author>
    <author>Maren Kresse</author>
    <author>Ulrike Schwall</author>
    <author>Angelika Storrer</author>
    <title>Multiword Lexemes: A Monolingual and Contrastive Typology for NLP and MT</title>
    <journal>IWBS Report</journal>
    <volume>232</volume>
    <year>1992</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS182" publtype="informal">
    <author>Toni Bollinger</author>
    <title>A Model Elimination Calculus for Generalized Clauses</title>
    <journal>IWBS Report</journal>
    <volume>182</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS189" publtype="informal">
    <author>Stefan J. Schierholz</author>
    <author>Eric Windisch</author>
    <title>Quantitative Analysen zu W&ouml;rterb&uuml;chern</title>
    <journal>IWBS Report</journal>
    <volume>189</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS169" publtype="informal">
    <author>Gregor Erbach</author>
    <title>Lexical Representation of Idioms</title>
    <journal>IWBS Report</journal>
    <volume>169</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS156" publtype="informal">
    <author>Toni Bollinger</author>
    <author>Udo Pletat</author>
    <title>The LILOG Knowledge Representation System</title>
    <journal>IWBS Report</journal>
    <volume>156</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS223" publtype="informal">
    <author>Peter Gerstl</author>
    <title>Mengenkonzepte in Unifikationsgrammatiken</title>
    <journal>IWBS Report</journal>
    <volume>223</volume>
    <year>1992</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2020-02-21" key="tr/ibm/RJ1200" publtype="informal">
    <author>Dines Bj&oslash;rner</author>
    <author>E. F. Codd</author>
    <author>Kenneth L. Deckert</author>
    <author>Irving L. Traiger</author>
    <title>The Gamma-0 n-ary Relational Data Base Interface Specifications of Objects and Operations.</title>
    <journal>Research Report / RJ / IBM / San Jose, California</journal>
    <volume>RJ1200</volume>
    <month>April</month>
    <year>1973</year>
    <note>republished on "ACM SIGMOD Anthology"</note>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS221" publtype="informal">
    <author>Ulrike Rackow</author>
    <title>On the Treatment of Compounds in Machine Translation. A Study</title>
    <journal>IWBS Report</journal>
    <volume>221</volume>
    <year>1992</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS138" publtype="informal">
    <author>Claudia Maienborn</author>
    <title>Position und Bewegung: Zur Semantik lokaler Verben</title>
    <journal>IWBS Report</journal>
    <volume>138</volume>
    <year>1990</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS217" publtype="informal">
    <author>Sonja M&uuml;ller</author>
    <title>Zur Systematik morphologischer Paradigmen: Die deutschen Verben in der Computermorphologie</title>
    <journal>IWBS Report</journal>
    <volume>217</volume>
    <year>1992</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS200" publtype="informal">
    <author>Christoph Beierle</author>
    <author>Egon B&ouml;rger</author>
    <title>A WAM Extension for Type-Constraint Logic Programming: Specification and Correctness Proof</title>
    <journal>IWBS Report</journal>
    <volume>200</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS178" publtype="informal">
    <author>Rolf Mayer</author>
    <title>Domain Restriction and Other Kinds of Reference Set Operations in Sentence and Discourse Semantics.</title>
    <journal>IWBS Report</journal>
    <volume>178</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS195" publtype="informal">
    <editor>Ulrike Weiland</editor>
    <title>Umweltbewertung mit EXCEPT: Darstellung aus &ouml;kologischer Sicht</title>
    <journal>IWBS Report</journal>
    <volume>195</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS84" publtype="informal">
    <author>R&uuml;diger Wirth</author>
    <title>Lernverfahren zur Vervollst&auml;ndigung von Hornklauselmengen durch inverse Resolution</title>
    <journal>IWBS Report</journal>
    <volume>84</volume>
    <year>1989</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS170" publtype="informal">
    <author>Holger M. Wittmann</author>
    <title>Ein Beispiel zur wissensbasierten Produktionsplanung mit PROTOS-L.</title>
    <journal>IWBS Report</journal>
    <volume>170</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG35" publtype="informal">
    <author>Mechthild Rickheit</author>
    <title>Zum Begriff "Argumentstruktur" im Rahmen generativer worbildungstheoretischer Ans&auml;tze</title>
    <journal>LILOG-Report</journal>
    <volume>35</volume>
    <year>1988</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOGM5" publtype="informal">
    <author>Jan Wilms</author>
    <title>Standards f&uuml;r das Programmieren in Prolog f&uuml;r LILOG, Version 2.0</title>
    <journal>LILOG-Memo</journal>
    <volume>5</volume>
    <year>1987</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS202" publtype="informal">
    <author>Michael Ley</author>
    <title>The Term Retrieval Abstract Machine</title>
    <journal>IWBS Report</journal>
    <volume>202</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS224" publtype="informal">
    <author>Kai Lebeth</author>
    <author>Bernd Abb</author>
    <title>Syntaktische Analysevorschl&auml;ge zur Behandlung von lokalen Pr&auml;fixverben in einem System f&uuml;r die Generierung von Wegbeschreibungen</title>
    <journal>IWBS Report</journal>
    <volume>224</volume>
    <year>1992</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS93" publtype="informal">
    <author>Gert Smolka</author>
    <title>Feature Constraint Logics for Unification Grammars</title>
    <journal>IWBS Report</journal>
    <volume>93</volume>
    <year>1989</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOGM3" publtype="informal">
    <author>J&ouml;rg Heinrich</author>
    <title>Ein Transaktionskonzept f&uuml;r LILOG</title>
    <journal>LILOG-Memo</journal>
    <volume>3</volume>
    <year>1987</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-09-22" key="tr/ibm/IWBS124" publtype="informal">
    <author>Andreas Eisele 0001</author>
    <author>Jochen D&ouml;rre</author>
    <title>Disjunctive Unification</title>
    <journal>IWBS Report</journal>
    <volume>124</volume>
    <year>1990</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG43" publtype="informal">
    <author>Rainer B&auml;uerle</author>
    <title>Ereignisse und Repr&auml;sentationen</title>
    <journal>LILOG-Report</journal>
    <volume>43</volume>
    <year>1988</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS234" publtype="informal">
    <author>Sven Lorenz</author>
    <title>On the Role of Reasoning about Change in the Projection of Presuppositions</title>
    <journal>IWBS Report</journal>
    <volume>234</volume>
    <year>1992</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS115" publtype="informal">
    <author>Egon B&ouml;rger</author>
    <title>A Logical Operational Semantics of Full Prolog Part II: Built-in Predicates for Database Manipulations</title>
    <journal>IWBS Report</journal>
    <volume>115</volume>
    <year>1990</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS102" publtype="informal">
    <author>Thomas Ludwig 0001</author>
    <title>A Brief Overlook of LILOG-DB</title>
    <journal>IWBS Report</journal>
    <volume>102</volume>
    <year>1989</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS198" publtype="informal">
    <author>Michael Klein</author>
    <title>Leistungsanalyse des Datenbanksystems LILOG-DB</title>
    <journal>IWBS Report</journal>
    <volume>198</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2020-02-21" key="tr/ibm/RJ2144" publtype="informal">
    <author>E. F. Codd</author>
    <author>Robert S. Arnold</author>
    <author>Jean-Marc Cadiou</author>
    <author>Chin-Liang Chang</author>
    <author>Nick Roussopoulos</author>
    <title>RENDEZVOUS Version 1: An Experimental English Language Query Formulation System for Casual Users of Relational Data Bases.</title>
    <journal>Research Report / RJ / IBM / San Jose, California</journal>
    <volume>RJ2144</volume>
    <month>January</month>
    <year>1978</year>
    <note>republished on "ACM SIGMOD Anthology"</note>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS194" publtype="informal">
    <author>Tibor Kiss</author>
    <title>Modals and the Scope of Negation, On the Treatment of Optionality in HPSG, Some Properties of Negation in German.</title>
    <journal>IWBS Report</journal>
    <volume>194</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS108" publtype="informal">
    <author>Peter H. Schmitt</author>
    <author>Wolfgang Wernecke</author>
    <title>Tableau Calculus for Order Sorted Logic</title>
    <journal>IWBS Report</journal>
    <volume>108</volume>
    <year>1990</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOGM6" publtype="informal">
    <author>Roland Seiffert</author>
    <title>Parsingstrategien f&uuml;r Unifikationsgrammatiken mit ID/LP-Regeln</title>
    <journal>LILOG-Memo</journal>
    <volume>6</volume>
    <year>1987</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS99" publtype="informal">
    <author>Albert Maier</author>
    <title>Sort-Lattice Management in LILOG-DB</title>
    <journal>IWBS Report</journal>
    <volume>99</volume>
    <year>1989</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS153" publtype="informal">
    <author>Jochen D&ouml;rre</author>
    <author>Roland Seiffert</author>
    <title>Sorted Feature Terms and Relational Dependencies</title>
    <journal>IWBS Report</journal>
    <volume>153</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS72" publtype="informal">
    <author>Toni Bollinger</author>
    <author>Ulrich Hedtst&uuml;ck</author>
    <author>Claus-Rainer Rollinger</author>
    <title>Reasoning for Text Understanding - Knowledge Processing in the 1st LILOG-Prototype</title>
    <journal>IWBS Report</journal>
    <volume>72</volume>
    <year>1989</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS70" publtype="informal">
    <author>Petra Maier</author>
    <author>Petra Steffens</author>
    <title>Zur Syntax pr&auml;nominaler Elemente in einer kategorialen Unifikationsgrammatik des Deutschen</title>
    <journal>IWBS Report</journal>
    <volume>70</volume>
    <year>1989</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG30" publtype="informal">
    <author>Helmar Gust</author>
    <author>Manfred Grothaus</author>
    <title>Wissensbasisverwaltung f&uuml;r LILOG</title>
    <journal>LILOG-Report</journal>
    <volume>30</volume>
    <year>1988</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS80" publtype="informal">
    <author>Esther K&ouml;nig</author>
    <title>How to Fit the Lambek Calculus into the Chomsky Hierarchy</title>
    <journal>IWBS Report</journal>
    <volume>80</volume>
    <year>1989</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS92" publtype="informal">
    <author>Karin Klabunde</author>
    <title>Erweiterung der Wissensrepr&auml;sentationssprache L-LILOG um Konstrukte zur Spezifikation von Kontrollinformation</title>
    <journal>IWBS Report</journal>
    <volume>92</volume>
    <year>1989</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS110" publtype="informal">
    <author>Karl Dotzek</author>
    <title>Strategien zur Pronominalisierung</title>
    <journal>IWBS Report</journal>
    <volume>110</volume>
    <year>1990</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2020-02-21" key="tr/ibm/RJ2736" publtype="informal">
    <author>Sai Choi Kwan</author>
    <author>H. Raymond Strong</author>
    <title>Index Path Length Evaluation for the Research Storage System of System R.</title>
    <journal>Research Report / RJ / IBM / San Jose, California</journal>
    <volume>RJ2736</volume>
    <year>1980</year>
    <month>January</month>
    <note>republished on "ACM SIGMOD Anthology"</note>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS213" publtype="informal">
    <author>Stefan J. Schierholz</author>
    <title>"Der Film &ouml;ded das Publikum" - Zum Aufbau eines maschinenlesbaren W&ouml;rterbuchs f&uuml;r deutsche Verben</title>
    <journal>IWBS Report</journal>
    <volume>213</volume>
    <year>1992</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG46" publtype="informal">
    <author>Roland Seiffert</author>
    <title>Operationen in erweiterten Typunifikationsformalismen</title>
    <journal>LILOG-Report</journal>
    <volume>46</volume>
    <year>1988</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOGM11" publtype="informal">
    <author>Kai-Uwe Carstensen</author>
    <title>WebS - ein System zur Generierung von Wegbeschreibungen</title>
    <journal>LILOG-Memo</journal>
    <volume>11</volume>
    <year>1988</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS233" publtype="informal">
    <author>Nikolaus Ott</author>
    <title>Statistische Untersuchungen an einsprachigen Zeitungstexten</title>
    <journal>IWBS Report</journal>
    <volume>233</volume>
    <year>1992</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS184" publtype="informal">
    <editor>Bernhard Nebel</editor>
    <editor>Christof Peltason</editor>
    <editor>Kai von Luck</editor>
    <title>International Workshop on Terminological Logics - Proceedings</title>
    <journal>IWBS Report</journal>
    <volume>184</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG1a" publtype="informal">
    <author>Otthein Herzog</author>
    <author>Claus-Rainer Rollinger</author>
    <author>Peter H. Schmitt</author>
    <author>Petra Steffens</author>
    <author>Rudi Studer</author>
    <author>Birgit Wesche</author>
    <author>Brigitte Bartsch-Sp&ouml;rl</author>
    <author>F. G&uuml;nthner</author>
    <author>Christopher Habel</author>
    <author>Siegfried Kanngie&szlig;er</author>
    <author>Christian Rohrer</author>
    <title>LILOG - Linguistische und logische Methoden f&uuml;r das maschinelle Verstehen des Deutschen - Projektbeschreibung</title>
    <journal>LILOG-Report</journal>
    <volume>1</volume>
    <year>1986</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG6" publtype="informal">
    <author>Peter H. Schmitt</author>
    <title>Mathematical Logic and Artificial Intelligence</title>
    <journal>LILOG-Report</journal>
    <volume>6</volume>
    <year>1987</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS214" publtype="informal">
    <author>Stefan J. Schierholz</author>
    <title>Syntaktische Merkmale deutsche Substantive</title>
    <journal>IWBS Report</journal>
    <volume>214</volume>
    <year>1992</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS158" publtype="informal">
    <author>Elisabeth Breidt</author>
    <title>Die Behandlung von mehrdeutigen Verben in der Maschinellen &Uuml;bersetzung</title>
    <journal>IWBS Report</journal>
    <volume>158</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS215" publtype="informal">
    <author>Oliver Wauschkuhn</author>
    <title>Untersuchung zur verteilten Produktionsplanung mit Methoden der logischen Programmierung</title>
    <journal>IWBS Report</journal>
    <volume>215</volume>
    <year>1992</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS140" publtype="informal">
    <author>Christoph Beierle</author>
    <author>Angi Vo&szlig;</author>
    <title>Stepwise Software Development with Algebraic Specifications</title>
    <journal>IWBS Report</journal>
    <volume>140</volume>
    <year>1990</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS88" publtype="informal">
    <author>Christoph Beierle</author>
    <title>Types, Modules and Databases in the Logic Programming Language PROTOS-L</title>
    <journal>IWBS Report</journal>
    <volume>88</volume>
    <year>1989</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG41" publtype="informal">
    <author>Christoph Beierle</author>
    <author>Jochen D&ouml;rre</author>
    <author>Udo Pletat</author>
    <author>Claus-Rainer Rollinger</author>
    <author>Peter H. Schmitt</author>
    <author>Rudi Studer</author>
    <title>The Knowledge Representation Language L<sub>LILOG</sub></title>
    <journal>LILOG-Report</journal>
    <volume>41</volume>
    <year>1988</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG14" publtype="informal">
    <author>Kurt Eberle</author>
    <title>Eine Prolog-Theorie f&uuml;r zeitliche Beziehungen zwischen Ereignissen</title>
    <journal>LILOG-Report</journal>
    <volume>14</volume>
    <year>1987</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS168" publtype="informal">
    <author>Jochen D&ouml;rre</author>
    <author>Ingo Raasch</author>
    <title>The Stuttgart Type Unification Formalism - User Manual</title>
    <journal>IWBS Report</journal>
    <volume>168</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS119" publtype="informal">
    <author>Claudia Maienborn</author>
    <title>Lokale Verben und Pr&auml;positionen: Semantische und konzeptuelle Verarbeitung in LEU II</title>
    <journal>IWBS Report</journal>
    <volume>119</volume>
    <year>1990</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS193" publtype="informal">
    <author>Bernd I. Dahn</author>
    <author>Theodor Lettmann</author>
    <author>Wolfgang Sch&ouml;nfeld</author>
    <title>ILFA Interface Concept</title>
    <journal>IWBS Report</journal>
    <volume>193</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2020-02-21" key="tr/ibm/RJ2555" publtype="informal">
    <author>Irving L. Traiger</author>
    <author>Jim Gray 0001</author>
    <author>Cesare A. Galtieri</author>
    <author>Bruce G. Lindsay 0001</author>
    <title>Transactions and Consistency in Distributed Database Systems.</title>
    <journal>Research Report / RJ / IBM / San Jose, California</journal>
    <volume>RJ2555</volume>
    <month>June</month>
    <year>1979</year>
    <note>republished on "ACM SIGMOD Anthology"</note>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS90" publtype="informal">
    <author>Udo Pletat</author>
    <author>Kai von Luck</author>
    <title>Knowledge Representation in LILOG</title>
    <journal>IWBS Report</journal>
    <volume>90</volume>
    <year>1989</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS117" publtype="informal">
    <author>Egon B&ouml;rger</author>
    <title>A Logical Operational Semantics of Full Prolog Part III: Built-in Predicates for Files, Terms, Arithmetic and Input-Output</title>
    <journal>IWBS Report</journal>
    <volume>117</volume>
    <year>1990</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS222" publtype="informal">
    <author>Christoph Lingenfelder</author>
    <author>Astrid Schm&uuml;cker-Schend</author>
    <title>Using Knowledge-Based Methods to Administrate an Access Control System</title>
    <journal>IWBS Report</journal>
    <volume>222</volume>
    <year>1992</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS211" publtype="informal">
    <author>Simone Pribbenow</author>
    <title>Zur Verarbeitung von Lokalisierungsausdr&uuml;cken in einem hybriden System</title>
    <journal>IWBS Report</journal>
    <volume>211</volume>
    <year>1992</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS85" publtype="informal">
    <author>Joachim Maier</author>
    <title>Integration von Constraints in die L<sub>LILOG</sub> Sortenbeschreibungssprache</title>
    <journal>IWBS Report</journal>
    <volume>85</volume>
    <year>1989</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG20" publtype="informal">
    <author>Klaus Rehk&auml;mper</author>
    <title>Mentale Bilder und Wegbedeutungen</title>
    <journal>LILOG-Report</journal>
    <volume>20</volume>
    <year>1987</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS73" publtype="informal">
    <author>Hinrich Sch&uuml;tze</author>
    <title>Pluralbehandlung in nat&uuml;rlichsprachlichen Wissensverabeitungssystemen</title>
    <journal>IWBS Report</journal>
    <volume>73</volume>
    <year>1989</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS113" publtype="informal">
    <author>Christoph Beierle</author>
    <author>Ulrich Hedtst&uuml;ck</author>
    <author>Udo Pletat</author>
    <author>Peter H. Schmitt</author>
    <author>J&ouml;rg H. Siekmann</author>
    <title>An Order-Sorted Logic for Knowledge Representation Systems</title>
    <journal>IWBS Report</journal>
    <volume>113</volume>
    <year>1990</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS152" publtype="informal">
    <author>Petra Ludewig</author>
    <title>Incremental Vocabulary Extensions in Text Understanding Systems</title>
    <journal>IWBS Report</journal>
    <volume>152</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS179" publtype="informal">
    <author>Sven Lorenz</author>
    <title>Persistence and Justified Causation: Some Remarks on Nonmonotonic Temporal Reasoning</title>
    <journal>IWBS Report</journal>
    <volume>179</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS71" publtype="informal">
    <author>Stefan B&ouml;ttcher</author>
    <author>Christoph Beierle</author>
    <title>Database Support for the PROTOS-L System</title>
    <journal>IWBS Report</journal>
    <volume>71</volume>
    <year>1989</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS187" publtype="informal">
    <author>Herbert J. Leass</author>
    <title>Anaphora Resolution for Machine Translation: A Study</title>
    <journal>IWBS Report</journal>
    <volume>187</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS74" publtype="informal">
    <author>Ingrid Renz</author>
    <title>Koordination von nichtverbalen Satzkonstituenten</title>
    <journal>IWBS Report</journal>
    <volume>74</volume>
    <year>1989</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS103" publtype="informal">
    <author>Thomas Ludwig 0001</author>
    <title>The Design and Implementation of TLPROLOG (V. 2.0) - Intermediate Report</title>
    <journal>IWBS Report</journal>
    <volume>103</volume>
    <year>1989</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG2" publtype="informal">
    <author>Rudi Studer</author>
    <title>A Conceptual Model for Time</title>
    <journal>LILOG-Report</journal>
    <volume>2</volume>
    <year>1986</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOGM1" publtype="informal">
    <author>Jan Wilms</author>
    <title>Standards f&uuml;r das Programmieren in Prolog f&uuml;r LILOG, Version 1.0</title>
    <journal>LILOG-Memo</journal>
    <volume>1</volume>
    <year>1987</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG42" publtype="informal">
    <author>Christoph Beierle</author>
    <author>Walter G. Olthoff</author>
    <author>Angi Vo&szlig;</author>
    <title>Qualit&auml;tssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung</title>
    <journal>LILOG-Report</journal>
    <volume>42</volume>
    <year>1988</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG39" publtype="informal">
    <author>Christoph Beierle</author>
    <author>Udo Pletat</author>
    <title>Feature Graphs and Abstract Data Types: A Unifying Approach</title>
    <journal>LILOG-Report</journal>
    <volume>39</volume>
    <year>1988</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS227" publtype="informal">
    <author>Reiner H&auml;hnle</author>
    <author>Bernhard Beckert</author>
    <author>Stefan Gerberding</author>
    <author>Werner Kernig</author>
    <title>The Many-Valued Theorem Prover <sub>3</sub>T<sup>A</sup>P.</title>
    <journal>IWBS Report</journal>
    <volume>227</volume>
    <year>1992</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS129" publtype="informal">
    <author>Thomas Pirlein</author>
    <title>Rekonstruktion von Hintergrundwissen f&uuml;r ein wissensbasiertes textverstehendes System</title>
    <journal>IWBS Report</journal>
    <volume>129</volume>
    <year>1990</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG33" publtype="informal">
    <author>Gert Smolka</author>
    <title>A Feature Logic with Subsorts</title>
    <journal>LILOG-Report</journal>
    <volume>33</volume>
    <year>1988</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS175" publtype="informal">
    <author>Christoph Beierle</author>
    <author>Stefan B&ouml;ttcher</author>
    <author>Gregor Meyer</author>
    <title>Draft Report of the Logic Programming Language PROTOS-L</title>
    <journal>IWBS Report</journal>
    <volume>175</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG58" publtype="informal">
    <author>Thomas Ludwig 0001</author>
    <title>EFTA: An Algebra for Deductive Retrieval of Feature Terms</title>
    <journal>LILOG-Report</journal>
    <volume>58</volume>
    <year>1988</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS98" publtype="informal">
    <author>Erich Gehlen</author>
    <title>EFTA Query Processing in LILOG-DB</title>
    <journal>IWBS Report</journal>
    <volume>98</volume>
    <year>1989</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS183" publtype="informal">
    <author>Andreas Arning</author>
    <title>A Polynomial Method for Finding Irregularities in Large Example Sets</title>
    <journal>IWBS Report</journal>
    <volume>183</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS104" publtype="informal">
    <author>Thomas Ludwig 0001</author>
    <title>Compilation of Complex DATALOG with Stratified Negation</title>
    <journal>IWBS Report</journal>
    <volume>104</volume>
    <year>1989</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS122" publtype="informal">
    <author>Simone Pribbenow</author>
    <title>Interaktion von propositionalen und bildhaften Repr&auml;sentationen</title>
    <journal>IWBS Report</journal>
    <volume>122</volume>
    <year>1990</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS86" publtype="informal">
    <author>Christoph Beierle</author>
    <author>Ulrich Hedtst&uuml;ck</author>
    <author>Udo Pletat</author>
    <author>J&ouml;rg H. Siekmann</author>
    <title>An Order Sorted Predicate Logic with Closely Coupled Taxonomic Information</title>
    <journal>IWBS Report</journal>
    <volume>86</volume>
    <year>1989</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2020-02-21" key="tr/ibm/G320-2096" publtype="informal">
    <author>Raymond A. Lorie</author>
    <title>XRM - An Extended (N-ary) Relational Memory.</title>
    <publisher>IBM Cambridge Scientific Center</publisher>
    <journal>Research Report / G / IBM / Cambridge Scientific Center</journal>
    <volume>G320-2096</volume>
    <month>January</month>
    <year>1974</year>
    <note>republished on "ACM SIGMOD Anthology"</note>
</article>
    <article mdate="2017-06-08" key="tr/ibm/IWBS81" publtype="informal">
        <author>Bernhard Nebel</author>
        <author>Gert Smolka</author>
        <title>Representation and Reasoning with Attributive Descriptions</title>
        <journal>IWBS Report</journal>
        <volume>81</volume>
        <year>1989</year>
        <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
    </article><article mdate="2017-06-08" key="tr/ibm/IWBS164" publtype="informal">
    <author>Petra Schulz</author>
    <title>Untersuchungen zum Grundwortschatz</title>
    <journal>IWBS Report</journal>
    <volume>164</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS139" publtype="informal">
    <author>Sebastian Millies</author>
    <title>Ein modularer Ansatz f&uuml;r prinzipienbasiertes Parsing</title>
    <journal>IWBS Report</journal>
    <volume>139</volume>
    <year>1990</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS67" publtype="informal">
    <author>Kurt Eberle</author>
    <title>Quantifikation, Plural, Ereignisse und ihre Argumente in einer mehrsortigen Sprache der Pr&auml;dikatenlogik erster Stufe</title>
    <journal>IWBS Report</journal>
    <volume>67</volume>
    <year>1989</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS109" publtype="informal">
    <author>Ewald Lang</author>
    <author>Kai-Uwe Carstensen</author>
    <title>OSKAR - A PROLOG Programm for Modelling Dimensional Designation and Positional Variation of Objects in Space</title>
    <journal>IWBS Report</journal>
    <volume>109</volume>
    <year>1990</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS181" publtype="informal">
    <author>Christoph Beierle</author>
    <author>Gregor Meyer</author>
    <author>Heiner Semle</author>
    <title>Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution</title>
    <journal>IWBS Report</journal>
    <volume>181</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG25" publtype="informal">
    <author>Claus-Rainer Rollinger</author>
    <author>Rudi Studer</author>
    <author>Hans Uszkoreit</author>
    <author>Ipke Wachsmuth</author>
    <title>Textunderstanding in LILOG - Sorts and Reference Objects</title>
    <journal>LILOG-Report</journal>
    <volume>25</volume>
    <year>1987</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/GH24-5013" publtype="informal">
    <title>SQL/Data System, Conpects and Facilities.</title>
    <journal>IBM Publication</journal>
    <volume>GH24-5013</volume>
    <publisher>IBM Corporation, White Plains, NY</publisher>
    <year>1981</year>
    <note>republished on "ACM SIGMOD Anthology"</note>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS235" publtype="informal">
    <author>Anne Schiller</author>
    <title>Derivationsmorphologie in einem &Uuml;bersetzungssystem</title>
    <journal>IWBS Report</journal>
    <volume>235</volume>
    <year>1992</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG17" publtype="informal">
    <author>Christopher Habel</author>
    <title>Prozedurale Aspekte der Wegplanung und Wegbeschreibung</title>
    <journal>LILOG-Report</journal>
    <volume>17</volume>
    <year>1987</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS145" publtype="informal">
    <author>Brigitte Bl&auml;ser</author>
    <author>M. Wermke</author>
    <title>Projekt "Elektronische W&ouml;rterb&uuml;cher/Lexika": Abschlu&szlig;bericht der Definitionsphase</title>
    <journal>IWBS Report</journal>
    <volume>145</volume>
    <year>1990</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG57" publtype="informal">
    <author>Thomas Ludwig 0001</author>
    <title>FLL: A First-Order Language for Deductive Retrieval of Feature Terms</title>
    <journal>LILOG-Report</journal>
    <volume>57</volume>
    <year>1988</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG51" publtype="informal">
    <author>Karl-Hans Bl&auml;sius</author>
    <author>Ulrich Hedtst&uuml;ck</author>
    <title>Resolution with Feature Unification</title>
    <journal>LILOG-Report</journal>
    <volume>51</volume>
    <year>1988</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS123" publtype="informal">
    <author>Elke Busch</author>
    <title>Das Problem der VP-Ellipsen im Rahmen einer Theorie der Sachverhaltsanaphern</title>
    <journal>IWBS Report</journal>
    <volume>123</volume>
    <year>1990</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS125" publtype="informal">
    <author>J&uuml;rgen Pietsch</author>
    <author>R. Zieschank</author>
    <author>D. Marx</author>
    <author>P. Klug-Lier</author>
    <author>Bernd Page</author>
    <author>Ulrike Weiland</author>
    <author>D. Eberle</author>
    <title>Erster EXCEPT-Workshop: Computerunterst&uuml;tzte Umweltvertr&auml;glichkeitspr&uuml;fung</title>
    <journal>IWBS Report</journal>
    <volume>125</volume>
    <year>1990</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS218" publtype="informal">
    <author>Volker Jantzen</author>
    <title>Konzeptuelles Design einer mehrsprachigen lexikalischen Datenbank f&uuml;r die maschinelle &Uuml;bersetzung</title>
    <journal>IWBS Report</journal>
    <volume>218</volume>
    <year>1992</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS95" publtype="informal">
    <author>Ulrich Hedtst&uuml;ck</author>
    <author>Peter H. Schmitt</author>
    <title>A Calculus for Order-Sorted Predicate Logic with Sort Literals</title>
    <journal>IWBS Report</journal>
    <volume>95</volume>
    <year>1989</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS219" publtype="informal">
    <author>Gregor Meyer</author>
    <author>Christoph Beierle</author>
    <author>Ralph Scheubrein</author>
    <title>Persistente Datenspeicherung in einer logischen Programmiersprache mit relationalen und deduktiven Datenbanken</title>
    <journal>IWBS Report</journal>
    <volume>219</volume>
    <year>1992</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS176" publtype="informal">
    <author>Ralph Scheubrein</author>
    <title>Integration eines deduktiven Datenbanksystems in eine Logikprogrammiersprache</title>
    <journal>IWBS Report</journal>
    <volume>176</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS97" publtype="informal">
    <author>Jochen D&ouml;rre</author>
    <author>William C. Rounds</author>
    <title>On Subsumption and Semiunifaction in Feature Algebras</title>
    <journal>IWBS Report</journal>
    <volume>97</volume>
    <year>1989</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS69" publtype="informal">
    <author>Bernhard Nebel</author>
    <title>A Knowledge Level Analysis of Belief Revision</title>
    <journal>IWBS Report</journal>
    <volume>69</volume>
    <year>1989</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG44" publtype="informal">
    <author>Kurt Rothermel</author>
    <title>An Effective Representation of Complex Clauses in a Relational Database</title>
    <journal>LILOG-Report</journal>
    <volume>44</volume>
    <year>1988</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS209" publtype="informal">
    <author>Roland Seiffert</author>
    <author>Esther K&ouml;nig</author>
    <title>Prolog and Natural Language Processing</title>
    <journal>IWBS Report</journal>
    <volume>209</volume>
    <year>1992</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS172" publtype="informal">
    <author>Herbert J. Leass</author>
    <author>Ulrike Schwall</author>
    <title>An Anaphora Resolution Procedure for Machine Translation</title>
    <journal>IWBS Report</journal>
    <volume>172</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS137" publtype="informal">
    <author>Bart Geurts</author>
    <title>Natural Language Understanding in LILOG: An Intermediate Overview</title>
    <journal>IWBS Report</journal>
    <volume>137</volume>
    <year>1990</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOGM12" publtype="informal">
    <author>Josef Gemander</author>
    <title>Verarbeitung von Vagheits- und Unsicherheitsbewertungen: Tools f&uuml;r das Testen von Ans&auml;tzen f&uuml;r die Unifikation und die Logikbehandlung von mit Unsicherheit und Vagheit bewerteten Graphen im L-LILOG-STUF-Graphenkonzept</title>
    <journal>LILOG-Memo</journal>
    <volume>12</volume>
    <year>1988</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS149" publtype="informal">
    <author>Thomas Ludwig 0001</author>
    <title>Modeling Structured Open Worlds in a Database System: The FLL-Approach</title>
    <journal>IWBS Report</journal>
    <volume>149</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS141" publtype="informal">
    <author>Stefan B&ouml;ttcher</author>
    <title>Integrating a Deductive Database System with a Warren Abstract Machine</title>
    <journal>IWBS Report</journal>
    <volume>141</volume>
    <year>1990</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS196" publtype="informal">
    <author>Wilfried H&ouml;tker</author>
    <author>Petra Ludewig</author>
    <title>Ein neuer Ansatz zur Integration unterschiedlicher lexikalischer Resourcen</title>
    <journal>IWBS Report</journal>
    <volume>196</volume>
    <year>1991</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS206" publtype="informal">
    <author>Karel Oliva</author>
    <title>Expressing Linguistic Knowledge in STUF '91</title>
    <journal>IWBS Report</journal>
    <volume>206</volume>
    <year>1992</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/LILOG9" publtype="informal">
    <author>Uwe Reyle</author>
    <title>Zeit und Aspekt bei der Verarbeitung nat&uuml;rlicher Sprachen</title>
    <journal>LILOG-Report</journal>
    <volume>9</volume>
    <year>1987</year>
    <publisher>IBM Deutschland GmbH</publisher>
</article><article mdate="2017-06-08" key="tr/ibm/IWBS136" publtype="informal">
    <author>Reiner H&auml;hnle</author>
    <title>Spezifikation eines Theorembeweisers f&uuml;r dreiwertige First-Order Logik.</title>
    <journal>IWBS Report</journal>
    <volume>136</volume>
    <year>1990</year>
    <publisher>IBM Germany Science Center, Institute for Knowledge Based Systems</publisher>
</article>
</dblp>