Citation for bib #: CGU00

@ARTICLE{CGU00,
author = {Caldwell, James and Ian Gent and Judith Underwood},
title = {Search Algorithms in Type Theory},
journal = {Theoretical Computer Science},
year = {2000},
volume = {232},
pages = {55--90},
number = {1--2},
month = {#Feb#}
}

full 2000+ listing of shared PRL project bibTex

PRL Home
Introduction
The Nuprl book
Origins of the PRL Project
Goals
Dynamics of the Project
Mathematical Expression in Nuprl
Cross Links to Math & CS Fields

Knowledge Base
Math Library
Publications
Projects
CRASH
Nuprl/FDL System
EventML Software
Seminar

People
Wiki
The Book
Lectures
Other Groups