Johan de Kleer John Seely Brown A Qualitative Physics Based on Confluences. 7-83 1984 24 Artif. Intell. 1-3 db/journals/ai/ai24.html#KleerB84 http://dx.doi.org/10.1016/0004-3702(84)90037-7