@article{ReddyKunzPradhan1995,
  author    = {Reddy, S. M. and Kunz, Wolfgang and Pradhan, D. K.},
  title     = {Novel verification framework combining structural and OBDD methods in a synthesis environment},
  isbn      = {0-8186-7213-7},
  year      = {1995},
  language  = {en}
}
@article{ChatterjeePradhanKunz1995,
  author    = {Chatterjee, M. and Pradhan, D. K. and Kunz, Wolfgang},
  title     = {ATPG-based Transformations for random-pattern testable logic synthesis},
  isbn      = {0-8186-7213-7},
  year      = {1995},
  language  = {en}
}
@article{LinkeSchaub1995,
  author    = {Linke, Thomas and Schaub, Torsten H.},
  title     = {Lemma handling in default logic theorem provers},
  isbn      = {3540601120},
  year      = {1995},
  language  = {en}
}
@article{BesnardSchaub1995,
  author    = {Besnard, Philippe and Schaub, Torsten H.},
  title     = {An approach to context-based default reasoning},
  issn      = {0169-2968},
  year      = {1995},
  language  = {en}
}
@article{ThielscherSchaub1995,
  author    = {Thielscher, Michael and Schaub, Torsten H.},
  title     = {Default reasoning by deductive planning},
  year      = {1995},
  language  = {en}
}
@article{SogomonyanGoessel1995,
  author    = {Sogomonyan, Egor S. and G{\"o}ssel, Michael},
  title     = {A new parity preserving multi-input signature analyser},
  year      = {1995},
  language  = {en}
}
@article{BogueJuergensenGoessel1995,
  author    = {Bogue, Ted and J{\"u}rgensen, Helmut and G{\"o}ssel, Michael},
  title     = {BIST with negligible aliasing through random cover circuits},
  year      = {1995},
  language  = {en}
}
@article{Richter1994,
  author    = {Richter, Peter},
  title     = {Efficient shortest path algorithms for road traffic optimization},
  year      = {1994},
  language  = {en}
}
@book{SchroederPreikschat1994,
  author    = {Schr{\"o}der-Preikschat, Wolfgang},
  title     = {The logical design of parallel operating systems},
  publisher = {Prentice Hall International},
  address   = {Englewood Cliffs},
  pages     = {370 S.},
  year      = {1994},
  language  = {en}
}
@article{SchroederPreikschat1994,
  author    = {Schr{\"o}der-Preikschat, Wolfgang},
  title     = {PEACE - software backplane for parallel computing},
  year      = {1994},
  language  = {en}
}