Title: Integration of classical and model-based technologies for the automated synthesis of plans
First published: 1997