@article{journals/ibmrd/KuanBFST92,
	title = {Application of electron and ion beam analysis techniques to microelectronics.},
	author = {Tung-Sheng Kuan and Philip E. Batson and Randall M. Feenstra and Alan J. Slavin and Ruud M. Tromp},
	journal = {IBM Journal of Research and Development},
	number = {2},
	pages = {183-207},
	url = {http://dblp.uni-trier.de/db/journals/ibmrd/ibmrd36.html#KuanBFST92},
	volume = {36},
	year = {1992},
	biburl = {http://www.bibsonomy.org/bibtex/23d5b4b8a968fdd836ea557ef681c02ca/dblp},
	description = {dblp},
	date = {2008-08-25},
	keywords = {dblp }
}

@article{journals/siamdm/HurkensIKKST07,
	title = {Prefix Reversals on Binary and Ternary Strings.},
	author = {Cor A. J. Hurkens and Leo van Iersel and Judith Keijsper and Steven Kelk and Leen Stougie and John Tromp},
	journal = {SIAM J. Discrete Math.},
	number = {3},
	pages = {592-611},
	url = {http://dblp.uni-trier.de/db/journals/siamdm/siamdm21.html#HurkensIKKST07},
	volume = {21},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/26306fc5d2a02388a930dcceeb20db7fb/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1137/060664252}, date = {2008-06-20},
	keywords = {dblp }
}

@inproceedings{conf/dagstuhl/Tromp06,
	title = {Binary Lambda Calculus and Combinatory Logic.},
	author = {John Tromp},
	booktitle = {Kolmogorov Complexity and Applications},
	crossref = {conf/dagstuhl/2006P6051},
	editor = {Marcus Hutter and Wolfgang Merkle and Paul M. B. Vitányi},
	publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
	series = {Dagstuhl Seminar Proceedings},
	url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P6051.html#Tromp06},
	volume = {06051},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/24c25d48e15d34c9e6573269714f1202c/dblp},
	description = {dblp},
	date = {2008-05-14}, ee = {http://drops.dagstuhl.de/opus/volltexte/2006/628},
	keywords = {dblp }
}

@article{journals/corr/abs-cs-0502068,
	title = {Limits of Rush Hour Logic Complexity},
	author = {John Tromp and Rudi Cilibrasi},
	journal = {CoRR},
	note = {informal publication},
	url = {http://dblp.uni-trier.de/db/journals/corr/corr0502.html#abs-cs-0502068},
	volume = {abs/cs/0502068},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/2f83e6f389f2afe8bb829abf62db308f0/dblp},
	description = {dblp},
	ee = {http://arxiv.org/abs/cs/0502068}, date = {2008-01-02},
	keywords = {dblp }
}

@article{journals/corr/quant-ph-9703009,
	title = {Reversible Simulation of Irreversible Computation by Pebble Games},
	author = {Ming Li and John Tromp and Paul M. B. Vitányi},
	journal = {CoRR},
	note = {informal publication},
	url = {http://dblp.uni-trier.de/db/journals/corr/corr9703.html#quant-ph-9703009},
	volume = {quant-ph/9703009},
	year = {1997},
	biburl = {http://www.bibsonomy.org/bibtex/2ca62a2607f1a6965248cd1af0a594c81/dblp},
	description = {dblp},
	ee = {http://arxiv.org/abs/quant-ph/9703009}, date = {2008-01-02},
	keywords = {dblp }
}

@article{journals/corr/quant-ph-0101133,
	title = {Time and Space Bounds for Reversible Simulation},
	author = {Harry Buhrman and John Tromp and Paul M. B. Vitányi},
	journal = {CoRR},
	note = {informal publication},
	url = {http://dblp.uni-trier.de/db/journals/corr/corr0101.html#quant-ph-0101133},
	volume = {quant-ph/0101133},
	year = {2001},
	biburl = {http://www.bibsonomy.org/bibtex/211c4ce3146494c2bedeac6db90a3b4f1/dblp},
	description = {dblp},
	ee = {http://arxiv.org/abs/quant-ph/0101133}, date = {2008-01-02},
	keywords = {dblp }
}

@article{journals/corr/math-PR-0006233,
	title = {Algorithmic Statistics},
	author = {Péter Gács and John Tromp and Paul M. B. Vitányi},
	journal = {CoRR},
	note = {informal publication},
	url = {http://dblp.uni-trier.de/db/journals/corr/corr0006.html#math-PR-0006233},
	volume = {math.PR/0006233},
	year = {2000},
	biburl = {http://www.bibsonomy.org/bibtex/24b73601924f4a0e8fbef84b7e40b8fa7/dblp},
	description = {dblp},
	ee = {http://arxiv.org/abs/math.PR/0006233}, date = {2008-01-02},
	keywords = {dblp }
}

@article{journals/corr/cs-LG-0201005,
	title = {Sharpening Occam's Razor},
	author = {Ming Li and John Tromp and Paul M. B. Vitányi},
	journal = {CoRR},
	note = {informal publication},
	url = {http://dblp.uni-trier.de/db/journals/corr/corr0201.html#cs-LG-0201005},
	volume = {cs.LG/0201005},
	year = {2002},
	biburl = {http://www.bibsonomy.org/bibtex/2776a43f8e1c69c24f044623aac6dda7d/dblp},
	description = {dblp},
	ee = {http://arxiv.org/abs/cs.LG/0201005}, date = {2008-01-02},
	keywords = {dblp }
}

@article{journals/corr/cs-DS-9902005,
	title = {Mutual Search},
	author = {Harry Buhrman and Matthew K. Franklin and Juan A. Garay and Jaap-Henk Hoepman and John Tromp and Paul M. B. Vitányi},
	journal = {CoRR},
	note = {informal publication},
	url = {http://dblp.uni-trier.de/db/journals/corr/corr9902.html#cs-DS-9902005},
	volume = {cs.DS/9902005},
	year = {1999},
	biburl = {http://www.bibsonomy.org/bibtex/2ee0c5ea41cc599d0da6c932324b34bae/dblp},
	description = {dblp},
	ee = {http://arxiv.org/abs/cs.DS/9902005}, date = {2008-01-02},
	keywords = {dblp }
}

@article{journals/corr/cs-DC-0106056,
	title = {Randomized Two-Process Wait-Free Test-and-Set},
	author = {John Tromp and Paul M. B. Vitányi},
	journal = {CoRR},
	note = {informal publication},
	url = {http://dblp.uni-trier.de/db/journals/corr/corr0106.html#cs-DC-0106056},
	volume = {cs.DC/0106056},
	year = {2001},
	biburl = {http://www.bibsonomy.org/bibtex/2e3cc0f5b8d046bd243ea046be68fba87/dblp},
	description = {dblp},
	ee = {http://arxiv.org/abs/cs.DC/0106056}, date = {2008-01-02},
	keywords = {dblp }
}