\relax 
\citation{keim}
\citation{bitner}
\citation{russell}
\citation{CELEX}
\newlabel{compsearch}{{5.3}{4}}
\citation{miller}
\citation{smadja}
\citation{mckeown}
\bibstyle{sigcse}
\bibdata{/u/boat/evs/prop/prop}
\bibcite{bitner}{1}
\bibcite{CELEX}{2}
\bibcite{keim}{3}
\bibcite{mckeown}{4}
\bibcite{miller}{5}
\bibcite{russell}{6}
\bibcite{smadja}{7}