@article{KunzReddySubodhetal.1996,
  author    = {Kunz, Wolfgang and Reddy, S. M. and Subodh, M. and Pradhan, D. K.},
  title     = {Efficient logic verification in a synthesis environment},
  year      = {1996},
  language  = {en}
}
@article{Wildner1996,
  author    = {Wildner, Uwe},
  title     = {Compiler assisted self-checking of structural integrity using return adress hashing},
  year      = {1996},
  language  = {en}
}
@article{StoffelKunz1996,
  author    = {Stoffel, Dominik and Kunz, Wolfgang},
  title     = {Logic equivalence checking by optimization techniues},
  year      = {1996},
  language  = {en}
}
@article{SaposhnikovMorosovSaposhnikovetal.1996,
  author    = {Saposhnikov, Va. V. and Morosov, Andrej and Saposhnikov, Vl. V. and G{\"o}ssel, Michael},
  title     = {Design of self-checking unidirectional combinational circuits with low area overhead},
  year      = {1996},
  language  = {en}
}
@article{GoesselSogomonyan1996,
  author    = {G{\"o}ssel, Michael and Sogomonyan, Egor S.},
  title     = {A parity-preserving multi-input signature analyzer and it application for concurrent checking and BIST},
  year      = {1996},
  language  = {en}
}
@article{SaposhnikovDimitrievGoesseletal.1996,
  author    = {Saposhnikov, Vl. V. and Dimitriev, Alexej and G{\"o}ssel, Michael and Saposhnikov, Va. V.},
  title     = {Self-dual parity checking - a new method for on-line testing},
  year      = {1996},
  language  = {en}
}
@article{KunduSogomonyanGoesseletal.1996,
  author    = {Kundu, S. and Sogomonyan, Egor S. and G{\"o}ssel, Michael and Tarnick, Steffen},
  title     = {Self-checking comparator with one periodiv output},
  year      = {1996},
  language  = {en}
}
@article{GoesselSogomonyan1996,
  author    = {G{\"o}ssel, Michael and Sogomonyan, Egor S.},
  title     = {A new self-testing parity checker for ultra-reliable applications},
  year      = {1996},
  language  = {en}
}
@article{MoschaninSaposhnikovSaposhnikovetal.1996,
  author    = {Moschanin, Wladimir and Saposhnikov, Vl. V. and Saposhnikov, Va. V. and G{\"o}ssel, Michael},
  title     = {Synthesis of self-dual multi-output combinational circuits for on-line Teting},
  year      = {1996},
  language  = {en}
}
@article{SogomonyanGoessel1996,
  author    = {Sogomonyan, Egor S. and G{\"o}ssel, Michael},
  title     = {Concurrently self-testing embedded checkers for ultra-reliable fault-tolerant systems},
  year      = {1996},
  language  = {en}
}
@article{LinkeSchaub1996,
  author    = {Linke, Thomas and Schaub, Torsten},
  title     = {Putting default logics in perspective},
  isbn      = {3-540-61708-6},
  year      = {1996},
  language  = {en}
}
@article{SchaubThielscher1996,
  author    = {Schaub, Torsten and Thielscher, Michael},
  title     = {Skeptical query-answering in constrained default logic},
  isbn      = {3-540-61313-7},
  year      = {1996},
  language  = {en}
}
@article{BrueningSchaub1996,
  author    = {Br{\"u}ning, Stefan and Schaub, Torsten},
  title     = {A model-based approach to consistency-checking},
  isbn      = {3-540-61286-6},
  year      = {1996},
  language  = {en}
}
@article{SchaubBruening1996,
  author    = {Schaub, Torsten and Br{\"u}ning, Stefan},
  title     = {Prolog technology for default reasoning},
  isbn      = {0-471-96809-9},
  year      = {1996},
  language  = {en}
}
@article{SchaubBrueningNicolas1996,
  author    = {Schaub, Torsten and Br{\"u}ning, Stefan and Nicolas, Pascal},
  title     = {XRay : a prolog technology theorem prover for default reasoning: a system description},
  isbn      = {3-540-61511-3},
  year      = {1996},
  language  = {en}
}
@article{BesnardSchaub1996,
  author    = {Besnard, Philippe and Schaub, Torsten},
  title     = {A simple signed system for paraconsistent reasoning},
  isbn      = {3-540-61630-6},
  year      = {1996},
  language  = {en}
}
@article{StoffelKunzGerber1997,
  author    = {Stoffel, Dominik and Kunz, Wolfgang and Gerber, Stefan},
  title     = {And/Or reasoning graphs for determining prime implicants in multi-level combinational networks},
  year      = {1997},
  language  = {en}
}
@phdthesis{Wildner1997,
  author    = {Wildner, Uwe},
  title     = {CASC : compiler assisted self-checking of structural integrity},
  pages     = {XIV, 134 S. : graph. Darst.},
  year      = {1997},
  language  = {en}
}
@article{HornKupriesGloede1997,
  author    = {Horn, Erika and Kupries, Mario and Gl{\"o}de, Dirk},
  title     = {Eigenschaften und Modelle von Software-Agenten und Agenten-Systemen},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1997, 06},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Inst. f{\"u}r Informatik},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {82 Bl. : Ill.},
  year      = {1997},
  language  = {de}
}
@article{KunzStoffelMenon1997,
  author    = {Kunz, Wolfgang and Stoffel, Dominik and Menon, P.},
  title     = {Logic optimization and equivalence checking by implication analysis},
  year      = {1997},
  language  = {en}
}
@book{Wilhelm1997,
  author    = {Wilhelm, Otto},
  title     = {Theoretische Grundlagen der Informatik : ein vorlesungsbegleitendes Manuskript f{\"u}r den internen Gebrauch am Institut ; Bd. 1 Automaten und Umwelten},
  editor    = {Budach, Lothar},
  publisher = {Univ.},
  address   = {Potsdam},
  pages     = {54 S.},
  year      = {1997},
  language  = {de}
}
@article{StoffelKunz1997,
  author    = {Stoffel, Dominik and Kunz, Wolfgang},
  title     = {Record \& play : a structural fixed point iteration for sequential circuit verification},
  isbn      = {0-8186-8200-0},
  year      = {1997},
  language  = {en}
}
@article{Wildner1997,
  author    = {Wildner, Uwe},
  title     = {Experimental evaluation of assigned signature checking with return address hashing on different platforms},
  year      = {1997},
  language  = {en}
}
@article{Schwill1997,
  author    = {Schwill, Andreas},
  title     = {Computer science education based on fundamental ideas},
  year      = {1997},
  language  = {en}
}
@book{OPUS4-24101,
  title     = {Sch{\"u}lerduden, Informatik},
  publisher = {Dudenverl.},
  address   = {Mannheim},
  isbn      = {3-411-04483-7},
  pages     = {575 S.},
  year      = {1997},
  language  = {de}
}
@article{Schwill1997,
  author    = {Schwill, Andreas},
  title     = {Fundamental ideas : rethinking computer science education},
  year      = {1997},
  language  = {en}
}
@article{Schwill1997,
  author    = {Schwill, Andreas},
  title     = {Grafische Datenverarbeitung : eine fruchtbare Verbindung von Mathematik und Informatik},
  year      = {1997},
  language  = {de}
}
@book{Saposhnikov1997,
  author    = {Saposhnikov, Vl. V.},
  title     = {Self-dual duplication for error detection and testing},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1997, 02},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Inst. f{\"u}r Informatik},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {16 S. : graph. Darst.},
  year      = {1997},
  language  = {en}
}
@book{StoffelKunz1997,
  author    = {Stoffel, Dominik and Kunz, Wolfgang},
  title     = {Structural FSM traversal : theory and a practical algorithm},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1997, 05},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ. Potsdam},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {34 S. : Ill.},
  year      = {1997},
  language  = {en}
}
@article{DimitrievSaposhnikovGoesseletal.1997,
  author    = {Dimitriev, Alexej and Saposhnikov, Vl. V. and G{\"o}ssel, Michael and Saposhnikov, V. V.},
  title     = {On-line testing by self-dual duplication},
  year      = {1997},
  language  = {en}
}
@article{MorosovSaposhnikovSaposhnikovetal.1997,
  author    = {Morosov, Andrej and Saposhnikov, Vl. V. and Saposhnikov, V. V. and G{\"o}ssel, Michael},
  title     = {Design of self dual fault-secure combinational circuits},
  year      = {1997},
  language  = {en}
}
@article{HartjeGoesselSogomonyan1997,
  author    = {Hartje, Hendrik and G{\"o}ssel, Michael and Sogomonyan, Egor S.},
  title     = {Synthesis of code-disjoint combinational circuits},
  year      = {1997},
  language  = {en}
}
@article{MorosovSaposhnikovSaposhnikovetal.1997,
  author    = {Morosov, Andrej and Saposhnikov, V. V. and Saposhnikov, Vl. V. and G{\"o}ssel, Michael},
  title     = {Ein Transformationsalgorithmus einer kombinatorischen Schaltung in eine monotone Schaltung},
  year      = {1997},
  language  = {de}
}
@article{HartjeSogomonyanGoessel1997,
  author    = {Hartje, Hendrik and Sogomonyan, Egor S. and G{\"o}ssel, Michael},
  title     = {Code disjoint circuits for partity codes},
  year      = {1997},
  language  = {en}
}
@article{HlawiczkaGoesselSogomonyan1997,
  author    = {Hlawiczka, A. and G{\"o}ssel, Michael and Sogomonyan, Egor S.},
  title     = {A linear code-preserving signature analyzer COPMISR},
  isbn      = {0-8186-7810-0},
  year      = {1997},
  language  = {en}
}
@article{DimitrievSaposhnikovGoesseletal.1997,
  author    = {Dimitriev, Alexej and Saposhnikov, Vl. V. and G{\"o}ssel, Michael and Saposhnikov, V. V.},
  title     = {Self-dual duplication - a new method for on-line testing},
  year      = {1997},
  language  = {en}
}
@article{SaposhnikovMoshaninSaposhnikovetal.1997,
  author    = {Saposhnikov, Vl. V. and Moshanin, Vl. and Saposhnikov, V. V. and G{\"o}ssel, Michael},
  title     = {Self-dual multi output combinational circuits with output data compaction},
  year      = {1997},
  language  = {en}
}
@book{SeuringGoesselSogomonyan1997,
  author    = {Seuring, Markus and G{\"o}ssel, Michael and Sogomonyan, Egor S.},
  title     = {A structural approach for space compaction for concurrent checking and BIST},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1997, 01},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ. Potsdam},
  address   = {Potsdam [u.a.]},
  issn      = {0946-7580},
  pages     = {19 S. : Ill.},
  year      = {1997},
  language  = {en}
}
@article{SchaubNicolas1997,
  author    = {Schaub, Torsten and Nicolas, Pascal},
  title     = {An implementation platform for query-answering in default logics : the XRay system, its implementation and evaluation},
  isbn      = {3-540-63255-7},
  year      = {1997},
  language  = {en}
}
@article{SchaubNicolas1997,
  author    = {Schaub, Torsten and Nicolas, Pascal},
  title     = {An implementation platform for query-answering in default logics : theoretical underpinnings},
  isbn      = {3-540-63614-5},
  year      = {1997},
  language  = {en}
}
@article{DelgrandeSchaub1997,
  author    = {Delgrande, James Patrick and Schaub, Torsten},
  title     = {Compiling reasoning with and about preferences into default logic},
  isbn      = {1-558-60480-4},
  issn      = {1045-0823},
  year      = {1997},
  language  = {en}
}
@article{BesnardSchaub1997,
  author    = {Besnard, Philippe and Schaub, Torsten},
  title     = {Circumscribing inconsistency},
  isbn      = {1-558-60480-4},
  issn      = {1045-0823},
  year      = {1997},
  language  = {en}
}
@article{DelgrandeSchaub1997,
  author    = {Delgrande, James Patrick and Schaub, Torsten},
  title     = {Compiling specificity into approaches to nonmonotonic reasoning},
  issn      = {0004-3702},
  year      = {1997},
  language  = {en}
}
@article{LinkeSchaub1997,
  author    = {Linke, Thomas and Schaub, Torsten},
  title     = {Towards a classification of default logic},
  year      = {1997},
  language  = {en}
}
@book{HornKupriesReinke1998,
  author    = {Horn, Erika and Kupries, Mario and Reinke, Thomas},
  title     = {Architekturtypen f{\"u}r Agentenanwendungssysteme},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1998, 01},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  year      = {1998},
  language  = {de}
}
@book{OPUS4-22102,
  title     = {UTW-Workshop "Soziotechnischer Zugang bei der Konstruktion, Einf{\"u}hrung und Anwendung von Workflow- Management-Systemen"},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1998, 02},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  editor    = {Horn, Erika and Kupries, Mario and Bartl, Peter},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {68 S.},
  year      = {1998},
  language  = {de}
}
@book{Horn1998,
  author    = {Horn, Erika},
  title     = {Grundlagen der Software-Entwicklung II : Objektorientierte Software-Architekturen},
  publisher = {Univ.},
  address   = {Potsdam},
  pages     = {5/31 S.},
  year      = {1998},
  language  = {de}
}
@book{Juergensen1998,
  author    = {J{\"u}rgensen, Helmut},
  title     = {Towards computer science},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1998, 03},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {10 Bl. : Ill.},
  year      = {1998},
  language  = {en}
}
@article{Boerner1998,
  author    = {B{\"o}rner, Ferdinand},
  title     = {A remark on the finite lattice representation problem},
  year      = {1998},
  language  = {en}
}
@article{BoernerHaddad1998,
  author    = {B{\"o}rner, Ferdinand and Haddad, L.},
  title     = {Maximal partial clones with no finite basis},
  year      = {1998},
  language  = {en}
}