Logic programming for process planning in the domain of sheet metal forming with progressive dies. - George-Christopher Vosniakos; Irene Segredou; Titos Giannakakis (J. Intell. Manuf., 2005)