\documentclass[11pt]{article}
\voffset=0pt\hoffset=0pt\vsize=9truein
\textheight 600pt \textwidth 460pt \topmargin 0pt
\oddsidemargin 0pt \evensidemargin 0pt
\usepackage{graphics,latexsym,amsfonts,boxedminipage}
\newcommand{\eqdef}{\equiv}
\newcommand{\child}{\ensuremath{\mbox{\bf child}}}
\newcommand{\valu}{\ensuremath{\mbox{\bf value}}}
\newcommand{\labl}{\ensuremath{\mbox{\bf label}}}
\newcommand{\consteq}[2]{#1 \sim #2}
\newcommand{\semiconsteq}[1]{\consteq{\cdot}{#1}}
\newcommand{\justconsteq}{\sim}
\makeatletter
\newcommand{\@jux}[1]{#1 \mskip-5.5mu #1}
\newcommand{\@jux@}[1]{#1 \mskip-2.6mu #1}
\newcommand{\dbrkt}[1]{\@jux@{[} #1 \@jux@{]}}

\makeatother
\newtheorem{definition}{Definition}
\newtheorem{proposition}{Proposition}
\newtheorem{theorem}{Theorem}
\newtheorem{example}{Example}
\title{Edge-Valued Decision Diagrams for Multiple-Valued Logic}
\author{Benet Devereux \hskip 0.5in Marsha Chechik\\
Department of Computer Science\\
University of Toronto}
\date{\today}
\renewcommand{\baselinestretch}{1.5}
\begin{document}
\maketitle
\section{Introduction}
\input{introd}
\section{Multiple-Valued Logics}
\input{mvlogics}

\section{Decision Diagrams}

\input{dds}

\section{Decision Diagrams With Edge-Valuations}

\input{ddev}
%\input{dds4mvl}

\section{Canonical Mod-$p$ Decision Diagrams}
\input{canonical}

\section{Conclusion and Future Work}
\input{conclusion}
\bibliographystyle{plain}
\bibliography{paper}
\end{document}