Proof Planning for Maintainable Configuration Systems

Lowe, H., Pěchouček, M., Bundy, A.

LOWE, H., M. PĚCHOUČEK, and A. BUNDY. Proof Planning for Maintainable Configuration Systems. AI EDAM - Artificial Intelligence for Engineering Design, Analysis and Manufacturing. 1998, 12(4), 345-356. ISSN 0890-0604.