@STRING{aips96  = "Proceedings of the 3rd International Conference on 
                   Artificial Intelligence Planning Systems (AIPS-96)"}
@STRING{ecai92 = "Proceedings of the 10th European Conference on Artificial 
                  Intelligence (ECAI-92)"}
@STRING{ecai96 = "Proceedings of the 12th European Conference on Artificial 
                  Intelligence (ECAI-96)"}
@STRING{ewsp93 = "Current Trends in AI Planning -- 2nd European WorkShop on 
                  Planning (EWSP-93)"}
@STRING{ijcai93 = "Proceedings of the 13th International Joint Conference on 
                   Artificial Intelligence (IJCAI-93)"}
@STRING{ijcai97 = "Proceedings of the 15th International Joint Conference on 
                   Artificial Intelligence (IJCAI-97)"}


@BOOK{biundo:fox:00,
 EDITOR    = "S. Biundo and M. Fox",
 TITLE     = "{R}ecent {A}dvances in {AI} {P}lanning",
 SERIES    = "{L}ecture {N}otes in {A}rtificial {I}ntelligence 1809",
 YEAR      = "2000",
 PUBLISHER = "Springer"}


@INPROCEEDINGS{biundo:stephan:97,
  AUTHOR    = "S. Biundo and W. Stephan",
  TITLE     = "{S}ystem {A}ssistance in {S}tructured {D}omain {M}odel
               {D}evelopment",
  BOOKTITLE = ijcai97,
  YEAR	    = "1997",
  PAGES     = "1240--1245",
  PUBLISHER = "Morgan Kaufmann"}


@INPROCEEDINGS{biundo:stephan:96,
  AUTHOR    = "S. Biundo and W. Stephan",
  TITLE     = "{M}odeling {P}lanning {D}omains {S}ystematically",
  BOOKTITLE = ecai96,
  YEAR	    = "1996",
  PAGES     = "599--603",
  PUBLISHER = "Wiley \& Sons"}


@INPROCEEDINGS{stephan:biundo:96,
  AUTHOR    = "W. Stephan and S. Biundo",
  TITLE     = "{D}eduction-{B}ased {R}efinement {P}lanning",
  BOOKTITLE = aips96,
  YEAR	    = "1996",
  PAGES     = "213--220",
  PUBLISHER = "AAAI Press"}


@INPROCEEDINGS{biundo:93,
 AUTHOR     = "S. Biundo",
 TITLE      = "{P}resent-{D}ay {D}eductive {P}lanning",
 BOOKTITLE  = ewsp93,
 YEAR       = "1994",
 PAGES      = "1--5",
 PUBLISHER  = "IOS Press"}


@INPROCEEDINGS{stephan:biundo:93,
 AUTHOR     = "W. Stephan and S. Biundo",
 TITLE      = "{A} {N}ew {L}ogical {F}ramework for {D}eductive {P}lanning",
 BOOKTITLE  = ijcai93,
 YEAR       = "1993",
 PAGES      = "32--38",
 PUBLISHER  = "Morgan Kaufmann"}


@INPROCEEDINGS{bauer:et:al:93,
 AUTHOR     = "M. Bauer and S. Biundo and D. Dengler and J. Koehler and 
               G. Paul",
 TITLE      = "{PHI} -- {A} {L}ogic-{B}ased {T}ool for {I}ntelligent 
               {H}elp {S}ystems",
 BOOKTITLE  = ijcai93,
 YEAR       = "1993",
 PAGES      = "460--466",
 PUBLISHER  = "Morgan Kaufmann"}


@INPROCEEDINGS{biundo:et:al:92,
 AUTHOR     = "S. Biundo and D. Dengler and J. Koehler",
 TITLE      = "{D}eductive {P}lanning and {P}lan {R}euse in a 
               {C}ommand {L}anguage {E}nvironment",
 BOOKTITLE  = ecai92,
 YEAR       = "1992",
 PAGES      = "628--632",
 PUBLISHER  = "Wiley \& Sons"}


@BOOK{biundo:92,
 AUTHOR    = "S. Biundo",
 TITLE     = "{A}utomatische {S}ynthese rekursiver {P}rogramme als
              {B}eweisverfahren",
 SERIES    = "{I}nformatik {F}achberichte {IFB} 302",
 YEAR      = "1992",
 PUBLISHER = "Springer"}