BibTeX
@inproceedings{DBLP:conf/cade/Li04,
author = {Lei Li},
title = {Reasoning with large numbers of individuals moves on: extending
the instance store},
booktitle = {IJCAR Doctoral Programme},
year = {2004},
ee = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-106/08-lli.pdf},
crossref = {DBLP:conf/cade/2004phd},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/cade/2004phd,
editor = {Ulrike Sattler},
title = {Contributions to the Doctoral Programme of the 2nd International
Joint Conference on Automated Reasoning, Cork, Ireland,
July 4-8, 2004},
booktitle = {IJCAR Doctoral Programme},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
volume = {106},
year = {2004},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2004-10-06 by Michael Ley (ley@uni-trier.de)