Reasoning with limited unification in a connectionist rule based system - Park, Nam Seog; Robertson, Dave; Stenning, Keith (1995)