Title: Reducing the need for assumptions in the automated modelling of physical systems
First published: 1998