Mercurial > cpdt > repo

diff latex/cpdt.bib @ 360:e0d91bcf70ec

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Pass through old content of Reflection
author Adam Chlipala <adam@chlipala.net>
date Wed, 02 Nov 2011 14:48:25 -0400
parents 6cc9a3bbc2c6
children 2fbb47fb02bd
line wrap: on
line diff
--- a/latex/cpdt.bib	Tue Nov 01 12:34:00 2011 -0400
+++ b/latex/cpdt.bib	Wed Nov 02 14:48:25 2011 -0400
@@ -302,3 +302,10 @@
  year = {1989},
  pages = {60--76},
 } 
+
+@inproceedings{reflection,
+  author    = {Boutin, Samuel},
+  title     = {Using reflection to build efficient and certified decision procedures},
+  booktitle = {Proceedings of the Third International Symposium on Theoretical Aspects of Computer Software},
+  year      = {1997},
+}