Stefan Gerberding Brigitte Pientka Structured Incremental Proof Planning. 63-74 1997 conf/ki/1997 KI db/conf/ki/ki97.html#GerberdingP97