An Efficient Problem Solving Architecture Using ATMS, Tested on a Non-Toy Case Study. - François Arlabosse; Bruno Jean-Bart; Nathalie Porté; Beatrice de Ravinel (AI Commun., 1988)