@inproceedings{DBLP:conf/tphol/HickeyNCABBEGKKKLSWY03,
  author    = {Jason Hickey and
               Aleksey Nogin and
               Robert L. Constable and
               Brian E. Aydemir and
               Eli Barzilay and
               Yegor Bryukhov and
               Richard Eaton and
               Adam Granicz and
               Alexei Kopylov and
               Christoph Kreitz and
               Vladimir Krupski and
               Lori Lorigo and
               Stephan Schmitt and
               Carl Witty and
               Xin Yu},
  title     = {MetaPRL - A Modular Logical Environment},
  booktitle = {TPHOLs},
  year      = {2003},
  pages     = {287-303},
  ee        = {http://dx.doi.org/10.1007/10930755_19},
  crossref  = {DBLP:conf/tphol/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/tphol/2003,
  editor    = {David A. Basin and
               Burkhart Wolff},
  title     = {Theorem Proving in Higher Order Logics, 16th International
               Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003,
               Proceedings},
  booktitle = {TPHOLs},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2758},
  year      = {2003},
  isbn      = {3-540-40664-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}