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

Lei Li

Browse the full CADE paper archive.