Abductive Proof Procedures for Fault Diagnosis. - F. Levi; C. Menchini (GULP, 1993)

A Flow-solver with Flexible Boundaries. - Andrei V. Smirnov; Wade W. Huebsch; C. Menchini (Modelling and Simulation, 2003)