@String{SPRINGER = "Springer Verlag"}

@Book{system,
  author =       {Tobias M{\"u}ller},
  title =        {DFKI Oz Users Manual}, 
  booktitle =    {DFKI Oz Users Manual},
  publisher =    {Programming Systems Lab},
  address =      {Saarbr{\"u}cken},
  month =        mar,
  year =         {1996},
  pages =        {313--332},
}

@Book{murray,
  author =       {Robert B. Murray},
  title =        {C++ Strategies and Tactics}, 
  booktitle =    {C++ Strategies and Tactics},
  publisher =    {Programming Systems Lab},
  address =      {Saarbr{\"u}cken},
  month =        mar,
  year =         {1993},
  pages =        {313--332},
}

@Book{primer,
  author =       {Gert Smolka},
  title =        {An Oz Primer}, 
  booktitle =    {An Oz Primer},
  publisher =    {Programming Systems Lab},
  address =      {Saarbr{\"u}cken},
  month =        mar,
  year =         {1993},
  pages =        {313--332},
}

@Book{absmachine,
  author =       {Michael Mehl, Ralf Scheidhauer, Christian Schulte},
  title =        {An abstract Machine for Oz}, 
  booktitle =    {An abstract Machine for Oz},
  publisher =    {Programming Systems Lab},
  address =      {Saarbr{\"u}cken},
  month =        mar,
  year =         {1995},
  pages =        {313--332},
}

@Book{modules,
  author =       {Martin Henz, Martin M{\"u}ller, fixthis},
  title =        {The Oz Standard Modules}, 
  booktitle =    {The Oz Standard Modules},
  publisher =    {Programming Systems Lab},
  address =      {Saarbr{\"u}cken},
  month =        mar,
  year =         {1995},
  pages =        {313--332},
}


@Book{gdb,
  author =       {Richard M. Stallman, Roland H. Pesch},
  title =        {Debugging with GDB: The GNU Source-Level Debugger version 4.7}, 
  booktitle =    {The Oz Standard Modules},
  publisher =    {Programming Systems Lab},
  address =      {Saarbr{\"u}cken},
  month =        oct,
  year =         {1992},
  pages =        {313--332},
}


@InProceedings{Mueller:98a,
  author =       {Tobias M{\"u}ller},
  title =        {Solving Set Partitioning Problems with Constraint Programming}, 
  booktitle =    {Proceedings of the Sixth International Conference on
                  the Practical Application of Prolog and the Forth
                  International Conference on the 
                  Practical Application of Constraint Technology -- PAPPACT98},
  publisher =    {The Practical Application Company Ltd},
  address =      {London, UK},
  month =        mar,
  year =         {1998},
  pages =        {313--332},
}

@PhdThesis{Holzbaur:90,
  author = "Christian Holzbaur",
  title = " Specification of Constraint Based Inference Mechanisms
		  through Extended Unification",
  school = "Technisch-Naturwissenschaftliche Fakult{\"a}t der
		  Technischen Universit{\"a}t Wien",
  year = 1990,
  month = oct,
}   		  
		  
@InCollection{Benhamou:95a,
  editor	= {Andreas Podelski},
  booktitle = {Constraints: Basics and Trends},
  author	= "Fr{\'e}d{\'e}ric Benhamou",
  title	= {Interval Constraint Logic Programming},
  publisher = springer,
  pages	= {1--21},
  year	= 1995,
  series = {Lecture Notes in Computer Science, vol. 910}
}

@Book{Chvantal:83,
  author = {Va{\v{s}}ek Chv{\'a}tal},
  title = {Linear Programming},
  publisher = {W.H. Freeman and Company},
  address = {41 Madison Avenue, New York 10010},
  year = 1983,
}

@InCollection{BeringerDeBacker:95a,
  author    = {Beringer, H. and de Backer, B.},
  booktitle = {Logic programming: {F}ormal methods and practical applications},
  editor    = {Beierle, C. and Pl{\"u}mer, L.},
  pages     = {245-272},
  publisher = {Elsevier},
  title     = {Combinatorial Problem Solving in Constraint Logic
                  Programming with Cooperating Solvers},
  year      = {1995}
}

