Steffen Hölldobler Josef Schneeberger A New Deductive Approach to Planning. 225- 1990 8 New Generation Comput. 3 db/journals/ngc/ngc8.html#HolldoblerS90