Dennis, Louise Abigail, "An Architecture for Proof Planning Systems", , 2005