peter-1991_and_before.bib

@comment{{This file has been generated by bib2bib 1.95}}
@comment{{Command line: bib2bib -c 'year<1992 and not annote:"skip_html"' -ob peter-1991_and_before.bib -oc peter-1991_and_before.cite peter.bib}}
@inproceedings{Baumgartner:91a,
  author = {Peter Baumgartner},
  title = {{A Completeness Proof Technique for Resolution with
		  Equality}},
  booktitle = {GWAI '91 -- 15. Fachtagung f{\"u}r K{\"u}nstliche
		  Intelligenz},
  year = 1991,
  editor = {Th. Christaller},
  publisher = {Springer},
  pages = {12--22},
  note = {Informatik Fachberichte 285},
  annote = {11 Seiten}
}
@inproceedings{Baumgartner:90b,
  author = {Peter Baumgartner},
  title = {{Combining Horn Clause Logic with Rewrite Rules}},
  booktitle = {{Artificial Intelligence IV -- Methodology, Systems,
		  Applications}},
  year = {1990},
  editor = {Ph. Jorrand, V. Sgurev},
  publisher = {Norh Holland},
  annote = {We show how to extend a Horn clause specification with
		  equality, where the equational theory is defined by a
		  canonical term rewrite system. This is achieved by a
		  transformation scheme which directly builds in a theory
		  unification procedure a la narrowing into the Horn clauses.
		  The advantages of this approach are, for the first, its
		  independency from the calculus, and for the second, the
		  directed and thus very efficient treatment of equality.}
}
@techreport{Baumgartner:90a,
  author = {Peter Baumgartner},
  title = {{Modelling Software Reuse with Predicate Logic}},
  institution = {Universit{\"a}t Koblenz-Landau},
  type = {Fachberichte Informatik},
  address = {Institut f{\"u}r Informatik, Rheinau 1, D-56075
		  Koblenz},
  year = {1990},
  number = {12/90}
}
@techreport{Baumgartner:etal:90,
  author = {Peter Baumgartner and S. Meggendorfer and Z. Qiu},
  title = {{Software Specification Methods from the Viewpoint of
		  Reusability}},
  institution = {Technische Universit{\"a}t M{\"u}nchen},
  year = {1990},
  month = {July},
  number = {FKI--133--90},
  type = {AI research report},
  optnote = { }
}
@mastersthesis{Baumgartner:88,
  author = {Peter Baumgartner},
  title = {{Theorie und Implementierung eines kombinierten logischen
		  und funktionalen Programmiersystems}},
  year = {1988},
  school = {{Technische Universit{\"a}t M{\"u}nchen}},
  note = {(In German)},
  optannote = { }
}