TheME: a Theory Manipulation Environment for creating Formal Knowledge Models (1991)

by J Balder
Venue:ESPRIT Project P5248 KADS-II/T1.2/TR/ECN/002/1.0, Netherlands Energy Research Centre ECN