@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}
}
@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{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{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{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}
}
@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{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{DelgrandeSchaub1997,
  author    = {Delgrande, James Patrick and Schaub, Torsten H.},
  title     = {Compiling specificity into approaches to nonmonotonic reasoning},
  issn      = {0004-3702},
  year      = {1997},
  language  = {en}
}
@article{LinkeSchaub1997,
  author    = {Linke, Thomas and Schaub, Torsten H.},
  title     = {Towards a classification of default logic},
  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}
}
@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{DelgrandeSchaub1997,
  author    = {Delgrande, James Patrick and Schaub, Torsten H.},
  title     = {Compiling reasoning with and about preferences into default logic},
  isbn      = {1-558-60480-4},
  issn      = {1045-0823},
  year      = {1997},
  language  = {en}
}
@article{Schwill1997,
  author    = {Schwill, Andreas},
  title     = {Computer science education based on fundamental ideas},
  year      = {1997},
  language  = {en}
}
@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}
}
@article{SchaubNicolas1997,
  author    = {Schaub, Torsten H. 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}
}