@article{journals/corr/cs-LO-9906013,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Glesner, Sabine and Stroetmann, Karl},
  biburl = {http://www.bibsonomy.org/bibtex/2b1e4ff1657e631767829af0962b3eeaa/dblp},
  ee = {http://arxiv.org/abs/cs.LO/9906013},
  interhash = {c2522193f16e90a50b31f039effd613d},
  intrahash = {b1e4ff1657e631767829af0962b3eeaa},
  journal = {CoRR},
  keywords = {dblp},
  title = {Combining Inclusion Polymorphism and Parametric Polymorphism},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr9906.html#cs-LO-9906013},
  volume = {cs.LO/9906013},
  year = 1999
}

@inproceedings{conf/sas/MullerGS96,
  added-at = {2011-06-27T00:00:00.000+0200},
  author = {0002, Martin Müller and Glaß, Thomas and Stroetmann, Karl},
  biburl = {http://www.bibsonomy.org/bibtex/21586b40b2f0eec79388d5c5ff5aa5fa4/dblp},
  booktitle = {SAS},
  crossref = {conf/sas/1996},
  editor = {Cousot, Radhia and Schmidt, David A.},
  ee = {http://dx.doi.org/10.1007/3-540-61739-6_44},
  interhash = {64b67ae995815ca1023f305a9870e2b8},
  intrahash = {1586b40b2f0eec79388d5c5ff5aa5fa4},
  isbn = {3-540-61739-6},
  keywords = {dblp},
  pages = {220-237},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Automated Modular Termination Proofs for Real Prolog Programs.},
  url = {http://dblp.uni-trier.de/db/conf/sas/sas96.html#MullerGS96},
  volume = 1145,
  year = 1996
}

@inproceedings{conf/sas/MullerGS96a,
  added-at = {2011-06-27T00:00:00.000+0200},
  author = {0002, Martin Müller and Glaß, Thomas and Stroetmann, Karl},
  biburl = {http://www.bibsonomy.org/bibtex/20ef0ec787bc7af05b1603c1a5944f109/dblp},
  booktitle = {SAS},
  crossref = {conf/sas/1996},
  editor = {Cousot, Radhia and Schmidt, David A.},
  ee = {http://dx.doi.org/10.1007/3-540-61739-6_56},
  interhash = {8cd1c8aee58a080c6f7e62b5685c0591},
  intrahash = {0ef0ec787bc7af05b1603c1a5944f109},
  isbn = {3-540-61739-6},
  keywords = {dblp},
  pages = {387-388},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {PAN - The Prolog Analyzer.},
  url = {http://dblp.uni-trier.de/db/conf/sas/sas96.html#MullerGS96a},
  volume = 1145,
  year = 1996
}

@book{books/daglib/0018802,
  added-at = {2011-03-21T00:00:00.000+0100},
  author = {Stroetmann, Karl},
  biburl = {http://www.bibsonomy.org/bibtex/21109d4abd07493424377ec4def73584c/dblp},
  interhash = {6cdb4541087892d253275adb3018f0be},
  intrahash = {1109d4abd07493424377ec4def73584c},
  keywords = {dblp},
  pages = {I-XII, 1-408},
  publisher = {Oldenbourg},
  title = {Computer-Architektur - Modellierung, Entwicklung und Verifikation mit Verilog: Grundlagen der Elektro- und Informationstechnik.},
  year = 2007
}

@inproceedings{conf/elp/StroetmannG96,
  added-at = {2009-09-30T00:00:00.000+0200},
  author = {Stroetmann, Karl and Glaß, Thomas},
  biburl = {http://www.bibsonomy.org/bibtex/27668eb929cda3f83db4bd8ed84c70d13/dblp},
  booktitle = {ELP},
  crossref = {conf/elp/1996},
  date = {2009-09-30},
  description = {dblp},
  editor = {Dyckhoff, Roy and Herre, Heinrich and Schroeder-Heister, Peter},
  ee = {http://dx.doi.org/10.1007/3-540-60983-0_18},
  interhash = {235002b507d0422b421732aaa3e57698},
  intrahash = {7668eb929cda3f83db4bd8ed84c70d13},
  isbn = {3-540-60983-0},
  keywords = {dblp},
  pages = {255-271},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {A Declarative Semantics for the Prolog Cut Operator.},
  url = {http://dblp.uni-trier.de/db/conf/elp/elp96.html#StroetmannG96},
  volume = 1050,
  year = 1996
}

@inproceedings{conf/mie/ThielSSV09,
  added-at = {2009-09-16T00:00:00.000+0200},
  author = {Thiel, Rainer and Stroetmann, Karl and Stroetmann, Veli N. and Viceconti, Marco},
  biburl = {http://www.bibsonomy.org/bibtex/2e09b699eb7699c6855cc6370c519056d/dblp},
  booktitle = {MIE},
  crossref = {conf/mie/2009},
  date = {2009-09-16},
  description = {dblp},
  editor = {Adlassnig, Klaus-Peter and Blobel, Bernd and Mantas, John and Masic, Izet},
  ee = {http://dx.doi.org/10.3233/978-1-60750-044-5-876},
  interhash = {5b7b92557c2759b73a5ee03628398f81},
  intrahash = {e09b699eb7699c6855cc6370c519056d},
  isbn = {978-1-60750-044-5},
  keywords = {dblp},
  pages = {876-880},
  publisher = {IOS Press},
  series = {Studies in Health Technology and Informatics},
  title = {Designing a Socio-Economic Assessment Method for Integrative Biomedical Research: The Osteoporotic Virtual Physiological Human Project.},
  url = {http://dblp.uni-trier.de/db/conf/mie/mie2009.html#ThielSSV09},
  volume = 150,
  year = 2009
}

@book{GVK03110472X,
  added-at = {2009-08-21T15:12:59.000+0200},
  address = {Bonn},
  author = {Schnepf, {Gisela} and Stroetmann, {Karl A} and Zänger, {Adolf}},
  biburl = {http://www.bibsonomy.org/bibtex/2e8b348a3a3ee46437f5cc5ae32b8b72f/fbw_hannover},
  interhash = {5e4749c1d5fa6e84eeb299d50be2b4a5},
  intrahash = {e8b348a3a3ee46437f5cc5ae32b8b72f},
  isbn = {3820600140},
  keywords = {Nachrichtenvermittlung},
  pagetotal = {Getr. Zählung},
  ppn_gvk = {03110472X},
  publisher = {Informationszentrum Sozialwiss.},
  subtitle = {Technology assessment. - Bonn : Informationszentrum Sozialwiss., 1982- Bd. 1},
  title = {Technology assessment},
  url = {http://gso.gbv.de/DB=2.1/CMD?ACT=SRCHA&SRT=YOP&IKT=1016&TRM=ppn+03110472X&sourceid=fbw_bibsonomy},
  year = 1982
}

@book{GVK03110472X,
  added-at = {2009-08-21T09:55:59.000+0200},
  address = {Bonn},
  author = {Schnepf, {Gisela} and Stroetmann, {Karl A} and Zänger, {Adolf}},
  biburl = {http://www.bibsonomy.org/bibtex/294c4428baa27d2da5e20253f8d521e17/fbw_hannover},
  interhash = {dd2c023162a386b402b5600231b0aea2},
  intrahash = {94c4428baa27d2da5e20253f8d521e17},
  isbn = {3820600140},
  keywords = {Nachrichtenvermittlung},
  pagetotal = {Getr. Zählung},
  ppn_gvk = {03110472X},
  publisher = {Informationszentrum Sozialwiss.},
  subtitle = {Nutzungsmöglichkeiten und soziale Auswirkungen ; Dokumentation 1978 - 1980 ; Sonderdokumentation für die Enquete-Kommission "Neue Informations- und Kommunikationstechniken" des Deutschen Bundestages},
  title = {Neue Informations- und Kommunikationstechniken},
  url = {http://gso.gbv.de/DB=2.1/CMD?ACT=SRCHA&SRT=YOP&IKT=1016&TRM=ppn+03110472X&sourceid=fbw_bibsonomy},
  year = 1982
}

@inproceedings{conf/ismda/StroetmannSST06,
  added-at = {2006-11-27T00:00:00.000+0100},
  author = {Stroetmann, Veli N. and Spichtinger, Daniel and Stroetmann, Karl and Thierry, Jean-Pierre},
  biburl = {http://www.bibsonomy.org/bibtex/20875d648be7044d3155601cddc43c64b/dblp},
  booktitle = {ISBMDA},
  crossref = {conf/ismda/2006},
  date = {2006-11-27},
  description = {dblp},
  editor = {Maglaveras, Nicos and Chouvarda, Ioanna and Koutkias, Vassilis and Brause, Rüdiger W.},
  ee = {http://dx.doi.org/10.1007/11946465_44},
  interhash = {37e0de0373f08418f864e90f29c0e0bb},
  intrahash = {0875d648be7044d3155601cddc43c64b},
  isbn = {3-540-68063-2},
  keywords = {dblp},
  pages = {482-493},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {ICT for Patient Safety: Towards a European Research Roadmap.},
  url = {http://dblp.uni-trier.de/db/conf/ismda/isbmda2006.html#StroetmannSST06},
  volume = 4345,
  year = 2006
}

@inproceedings{conf/EUprojects/PieperS05,
  added-at = {2005-07-21T00:00:00.000+0200},
  author = {Pieper, Michael and Stroetmann, Karl},
  biburl = {http://www.bibsonomy.org/bibtex/2c9d4770fd2f5356692118194fdc77d2e/dblp},
  booktitle = {Universal Access in Health Telematics},
  crossref = {conf/EUprojects/2005uaht},
  date = {2005-07-21},
  description = {dblp},
  editor = {Stephanidis, Constantine},
  ee = {http://dx.doi.org/10.1007/11424628_9},
  interhash = {a12f94b0d672dff9fbc45b6ecd5a704f},
  intrahash = {c9d4770fd2f5356692118194fdc77d2e},
  isbn = {3-540-26167-2},
  keywords = {dblp},
  pages = {77-87},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Patients and EHRs Tele Home Monitoring Reference Scenario.},
  url = {http://dblp.uni-trier.de/db/conf/EUprojects/uaht2005.html#PieperS05},
  volume = 3041,
  year = 2005
}

@inproceedings{conf/EUprojects/PieperS05a,
  added-at = {2005-07-21T00:00:00.000+0200},
  author = {Pieper, Michael and Stroetmann, Karl},
  biburl = {http://www.bibsonomy.org/bibtex/25b27f3010cbe038803c8143b0af1cbfa/dblp},
  booktitle = {Universal Access in Health Telematics},
  crossref = {conf/EUprojects/2005uaht},
  date = {2005-07-21},
  description = {dblp},
  editor = {Stephanidis, Constantine},
  ee = {http://dx.doi.org/10.1007/11424628_21},
  interhash = {1a89490ff565283bd243a694776edc63},
  intrahash = {5b27f3010cbe038803c8143b0af1cbfa},
  isbn = {3-540-26167-2},
  keywords = {dblp},
  pages = {271-296},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Participatory Insight to Universal Access: Methods and Validation Exercises.},
  url = {http://dblp.uni-trier.de/db/conf/EUprojects/uaht2005.html#PieperS05a},
  volume = 3041,
  year = 2005
}

@article{journals/jucs/Stroetmann97,
  added-at = {2003-12-01T00:00:00.000+0100},
  author = {Stroetmann, Karl},
  biburl = {http://www.bibsonomy.org/bibtex/20df87bebbcbbf3b7d5bf4107165b43e7/dblp},
  date = {2003-12-01},
  description = {dblp},
  ee = {http://www.jucs.org/jucs_3_4/shortest_path_problem},
  interhash = {a26195e92c82deba24b80ec4ca0a46e7},
  intrahash = {0df87bebbcbbf3b7d5bf4107165b43e7},
  journal = {J. UCS},
  keywords = {dblp},
  number = 4,
  pages = {304-319},
  title = {The Constrained Shortest Path Problem: A Case Study in Using ASMs.},
  url = {http://dblp.uni-trier.de/db/journals/jucs/jucs3.html#Stroetmann97},
  volume = 3,
  year = 1997
}

@article{journals/jlp/Stroetmann93,
  added-at = {2003-11-27T00:00:00.000+0100},
  author = {Stroetmann, Karl},
  biburl = {http://www.bibsonomy.org/bibtex/295ce3f4949af3ad5d7518b8e66b3671d/dblp},
  date = {2003-11-27},
  description = {dblp},
  interhash = {29516d29c9fe8cff0cd7f7078dea1e35},
  intrahash = {95ce3f4949af3ad5d7518b8e66b3671d},
  journal = {J. Log. Program.},
  keywords = {dblp},
  number = 4,
  pages = {337-355},
  title = {A Completeness Result for SLDNF-Resolution.},
  url = {http://dblp.uni-trier.de/db/journals/jlp/jlp15.html#Stroetmann93},
  volume = 15,
  year = 1993
}

@inproceedings{conf/korso/Stroetmann95,
  added-at = {2002-02-05T00:00:00.000+0100},
  author = {Stroetmann, Karl},
  biburl = {http://www.bibsonomy.org/bibtex/205ceaa1e15420bbe0358ac8c2619f870/dblp},
  booktitle = {KORSO Book},
  crossref = {conf/korso/1995},
  date = {2002-02-05},
  description = {dblp},
  editor = {Broy, Manfred and Jähnichen, Stefan},
  interhash = {f998bfdedd839d9962528b92ec423b1f},
  intrahash = {05ceaa1e15420bbe0358ac8c2619f870},
  isbn = {3-540-60589-4},
  keywords = {dblp},
  pages = {299-316},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Seduct - A Proof Compiler for First Order Logic.},
  url = {http://dblp.uni-trier.de/db/conf/korso/korso1995.html#Stroetmann95},
  volume = 1009,
  year = 1995
}