A New Logical Framework for Deductive Planning

@techreport{pub6068,
    author = {

Stephan, Werner
 and 

Biundo, Susanne
},
    title = {A New Logical Framework for Deductive Planning},
    series = {DFKI Research Reports (RR)},
    year = {1992},
    volume = {92-53},
    pages = {15},
    institution = {DFKI}
}