Some Papers from Karl Stroetmann:

1. Berechnung der Periodendauer im Lotka-Volterra'schen Räuber-Beute-Modell
   This is an unpublished technical report.

2. Ausbreitung eines Virus
   Another unpublished technical report.

3. The Constrained Shortest Path Problem: A Case Study in Using ASMs
   This is a revised version of the following:

   @Article{stroetmann:97,
     author = 	 {Karl Stroetmann},
     title = 	 {The Constrained Shortest Path Problem: A Case Study in Using ASMs},
     journal =	 {J.UCS},
     year =	 {1997},
     volume =	 {3},
     number =	 {4},
     pages =	 {304-319}}
   

4. From Higher Order Terms to Circuits

   @InProceedings{schwichtenberg:97,
     author = 	 {Helmut Schwichtenberg and Karl Stroetmann},
     title = 	 {From higher order terms to circuits},
     booktitle = 	 {Logic and Scientific Methods},
     editor =	 {M.L. Dalla Chiara et al.},
     year =	 {1997},
     publisher =	 {Kluwer Academic Publishers},
     pages =	 {209--220}}
   

5. Boosting the Quality and Maintainability of Prolog Applications by New Static Analysis Techniques

   @InProceedings{glass:96,
     author = 	 {Thomas Gla{\ss} and Martin M{\"u}ller and Karl
   		  Stroetmann and Gerd Venzl},
     title = 	 {Boosting the Quality and Maintainability of Prolog
   		  Applications by New Static Analysis Techniques},
     editor =	 {Shuichi Fukada},
     booktitle =	 {The 9th Exhibition and Symposium on Industrial
   		  Applications of Prolog (INAP `96)},
     year =	 {1996},
     month =	 {16-18 October},
   }
   

6. Automated Modular Termination Proofs for Real Prolog Programs

   @InProceedings{mueller:96,
     author = 	 {Martin M{\"u}ller and Thomas Gla{\ss} and Karl Stroetmann},
     title = 	 {Automated Modular Termination Proofs for Real {Prolog} Programs},
     editor =	 {Radhia Cousot and Dave Schmidt},
     series =	 {LNCS 1145},
     pages =	 {220-237},
     booktitle =	 {Third International Static Analysis Symposium },
     year =	 {1996},
     publisher =	 {Springer-Verlag},
   }
   

7. Implementing Safety--Critical Systems in Prolog: Experiences from the R & D at Siemens

   @InProceedings{stroetmann:96b,
     author = 	 {Karl Stroetmann and Thomas Gla{\ss} and Martin M{\"u}ller},
     title = 	 {Implementing Safety--Critical Systems in {\sc Prolog}:
                     Experiences from the {R} \& {D} at {\sc Siemens}},
     editor =	 {Peter Reintjes},
     pages =	 {391--403},
     booktitle =	 {Practical Applications of Prolog `96},
     publisher =	 {The Practical Application Company},
     year =	 {1996},
   }
   

8. A Declarative Semantics for the Prolog Cut Operator

   @InProceedings{stroetmann:96,
     author = 	 {Karl Stroetmann and Thomas Gla{\ss}},
     title = 	 {A Declarative Semantics for the {\sc Prolog} Cut Operator},
     editor =	 {Roy Dyckhoff and Heinrich Herre and Peter Schr{\"o}der--Heister},
     volume =	 {1050},
     series =	 {Lecture Notes in Computer Science},
     pages =	 {255--271},
     booktitle =	 {Proceedings of the Workshop on Extensions of Logic Programming},
     year =	 {1996},
     publisher =	 {Springer Verlag},
   }
   

9. Augmented Prolog - An Evolutionary Approach

   @InProceedings{somogyi:95a,
     author = 	 {Zoltan Somogyi and Fergus Henderson and Thomas Conway},
     title = 	 {Logic programming for the real world},
     editor =	 {Donald A. Smith and Olivier Ridoux and Peter Van Roy},
     pages =	 {83--94},
     booktitle =	 {{\em Proceedings of the Workshop} Visions for the
   		  Future of Logic Programming: Laying the Foundations
   		  for a Modern Successor to Prolog},
     year =	 {1995},
     note =	 {The Proceedings of this workshop are available at: {\tt
   		  ftp://ps-ftp.dfki.uni-sb.de/pub/ILPS95-FutureLP/}},
   }
   

10. SEDUCT - A Proof Compiler for First Order Logic

    @InCollection{stroetmann:95,
      author = 	 {Karl Stroetmann},
      title = 	 {{\sc Seduct} ---  A Proof Compiler for First Order Logic},
      booktitle =	 {{\sc KORSO}: Methods, Languages, and Tools for the
    		  Construction of Correct Software},
      publisher =	 {Springer Verlag},
      pages =	 {299--316},
      year =	 {1995},
      editor =	 {Manfred Broy and Stefan J{\"a}nichen},
      volume =	 {1009},
      series =	 {Lecture Notes in Computer Science}}
    

11. A Guide to Seduct

    @BOOK(stroetmann:94a,
    	AUTHOR		= {Stroetmann, Karl and Bendix Nielsen, Claus},
    	TITLE		= {A Guide to {\sc Seduct}},
    	YEAR		= {1994},
            EDITION    =   {second},
    	PUBLISHER	= {Siemens AG},
    	ADDRESS		= {Munich, Germany})
    

12. A completeness result for SLDNF-resolution

    @ARTICLE{stroetmann:93,
    	AUTHOR = {Karl Stroetmann},
    	TITLE = {A completeness result for {SLDNF}-resolution},
    	JOURNAL = {J.~of Logic Programming},
    	YEAR = {1993},
    	VOLUME = {15},
    	NUMBER = {4},
    	PAGES = {337--355}}
    

13. The Union of Rewrite Systems

    @TechReport{stroetmann:92,
      author = 	 {Karl Stroetmann},
      title = 	 {The Union of Rewrite Systems},
      institution =  {Siemens AG},
      year = 	 {1992},
    }
    

14. Vollständige Resolutionskalküle für PROLOG

    @PhdThesis{stroetmann:91,
      author = 	 {Karl Stroetmann},
      title = 	 {Vollständige Resolutionskalküle für PROLOG},
      school = 	 {Universit{\"a}t M{\"u}nster},
      year = 	 {1991},
    }