Guido Moerkotte Holger Müller Joachim Posegga Aspects of Consistency Driven Planning. 301-325 1992 DAISD db/conf/daisd/daisd92.html#MoerkotteMP92