A qualitative physics compiler (1994)

by �Farquhar
Venue:In Proc. of the 12th National Conference onArti�cial Intelligence