\documentclass[12pt]{jreport}

\usepackage[dvips]{graphics}
% \usepackage{latexsym}
\usepackage{moreverb}

\setlength{\textwidth}{14.5cm}
\setlength{\textheight}{22.5cm}
\setlength{\oddsidemargin}{0.75cm}

\newcommand{\Tab}{ \hspace{1em} }
\newcommand{\If}{ {\Tab \makebox{if} \;} }
\newcommand{\Where}{ {\Tab \makebox{where} \;} }

\newcommand{\Def}{ _{\makebox{\tiny def}} }

\newcommand{\term}[1]{\emph{#1}}
\newcommand{\prog}[1]{{\listinginput{1}{#1}}}

\begin{document}

\begin{titlepage}
\begin{center}
\vspace*{1cm}
\begin{large}
 2001$BG/EY(B $B=$;NO@J8(B \\
\end{large}
\vspace{2cm}
\begin{Huge}
 DKLIC $B=hM}7O$K$*$1$kJ,;6O@M}JQ?t$N;q8;4IM}(B \\
\end{Huge}
\begin{Large}
 Resource Management for Distributed Logic Variables of DKLIC \\
\end{Large}
\vspace{4cm}
\begin{Large}
 $BDs=PF|(B: 2002$BG/(B2$B7n(B5$BF|(B \\
 $B;XF3(B: $B>eED(B $BOB5*(B $B65<x(B \\
\vspace{3cm}
 $BAa0pEDBg3XBg3X1!(B $BM}9)3X8&5f2J(B $B>pJs2J3X@l96(B \\
 $B3X@RHV9f(B: 600P031-4 \\
\vspace{1cm}
 $B9bLZ(B $BM42p(B \\
\end{Large}
\end{center}
\end{titlepage}

\clearpage
\pagestyle{plain}
\pagenumbering{roman}
\tableofcontents
% \listoffigures
% \listoftables

%---------------------------------------------------------------

% $BLdBjNN0h$NFCDj(B
% $BJ,@O(B
% $B@_7W(B
% $B<BAu(B
% $BI>2A9M;!(B

\newpage
\pagenumbering{arabic}

% $B$O$8$a$K(B
\input{1-intro}

% $BJ,;6%W%m%0%i%_%s%0(B
\input{2-dist}

% $BJ,;6(B KL1 $B8@8l$ND)@o(B
\input{3-klic}

% DKLIC $B=hM}7O$NL\I8(B
\input{4-analysis}

% DKLICP $B8@8l(B
\input{5-dklicp}

% DKLIC $B=hM}7O$N@_7W(B
\input{6-design}

% DKLIC $B=hM}7O$N<BAu(B
\input{7-impl}

% DKLIC $B=hM}7O$NI>2A$H9M;!(B
\input{8-eval}

% $B$^$H$a(B
\input{9-conc}

% $B;29MJ88%(B
\input{bib}

% $BIUO?(B
\input{appendix}

\end{document}
