F. Erich Marschner
-
Proving Consistency Assertions for Automotive Product Data Management
Journal of Automated Reasoning