Brian Falkenhainer Ideal Physical Systems. 600-605 1993 AAAI db/conf/aaai/aaai93.html#Falkenhainer93