Knowledge-rich solutions to the binding problem: a simulation of some human computational mechanisms. - Keith Stenning; Joe Levy (Knowl. Based Syst., 1988)