Reasoning with large numbers of individuals moves on: extending the instance store.

Lei Li Reasoning with large numbers of individuals moves on: extending the instance store. 2004 conf/cade/2004phd IJCAR Doctoral Programme http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-106/08-lli.pdf db/conf/cade/ijcarphd2004.html#Li04