Johan de Kleer, John Seely Brown (1984). A qualitative physics based on confluences. Artificial Intelligence. https://doi.org/10.1016/0004-3702(84)90037-7