<?xml version="1.0"?>
<dblp>
<inproceedings key="conf/cg/Muller02" mdate="2005-12-08">
<author>Martin M&#252;ller 0003</author>
<title>Proof-Set Search.</title>
<pages>88-107</pages>
<ee>http://springerlink.metapress.com/openurl.asp?genre=article&amp;issn=0302-9743&amp;volume=2883&amp;spage=88</ee>
<year>2002</year>
<crossref>conf/cg/2002</crossref>
<booktitle>Computers and Games</booktitle>
<url>db/conf/cg/cg2002.html#Muller02</url>
</inproceedings>
</dblp>
