#
latex klee2.tex
bibtex klee2.tex
latex klee2.tex
latex klee2.tex
dvips -z klee2.dvi > klee2.ps
dvips -z -Ppdf -o tmp.ps klee2.dvi
ps2pdf tmp.ps klee2.pdf
/bin/rm tmp.ps
chmod og+r *