\documentclass[dvips,bookmarks,colorlinks=false]{article}[12pt]
\usepackage{hyperref}
\usepackage{url}
\usepackage{natbib}
\usepackage{times}
\usepackage{amsmath}
\usepackage{psfrag} %Shouldn't use this if you plan on using pdflatex!
\usepackage{graphicx}
\usepackage{wrapfig} %for wrapping text around figures and tables
\usepackage[letterpaper,textwidth=470pt,textheight=8.51in]{geometry} %this is one way to do it, p194 LaTeX companion.
%Included for Gather Purpose in WinEdt only:
%input "h:\unl\bibtex\all.bib"
%defines the datalog operator :- with correct spacing etc.
\def\lfp{\mathop{\hbox{\it lfp}} }
\def\impl{\mathrel{\hbox{~~:---~~}} }
%defines the program code minipage environment that I used with rules top and bottom
%NOTE: you will need to change the lift value for the \rule command. This is set fo 1.5 spacing.
% single spacing: 6pt/6pt and doublespacing: 0pt and 12 point (I believe)
%NOTE: If you use a \tabbing environment immediately after \progstart, the follow progstart by \vspace{-18pt}
\def\progstart{\begin{center}\begin{minipage}{.95\textwidth}\tt\small\noindent\rule[0pt]{\linewidth}{0.4pt} \\}
\def\progend{\rm\rule[6pt]{\linewidth}{0.4pt} \\ \end{minipage}\end{center}}
\setlength{\topmargin}{0.2in} \setlength{\leftmargin}{1.0in}
\setlength{\marginparwidth}{0in} \setlength{\marginparsep}{0in}
\setlength{\oddsidemargin}{0in}
%\usepackage{layout} %show layout with \laout command
\newtheorem{corollary1}{Corollary}
\newtheorem{definition1}{Definition}
\newtheorem{example1}{Example}
\newtheorem{lemma1}{Lemma}
\newtheorem{remark1}{Remark}
\newtheorem{conjecture1}{Conjecture}
\newtheorem{theorem1}{Theorem}
\newtheorem{algorithm1}{Algorithm}
\newenvironment{corollary}{\begin{corollary1} \rm}{\end{corollary1}}
\newenvironment{definition}{\begin{definition1} \rm}{\end{definition1}}
\newenvironment{example}{\begin{example1} \rm}{\end{example1}}
\newenvironment{lemma}{\begin{lemma1} \rm}{\end{lemma1}}
\newenvironment{remark}{\begin{remark1} \rm}{\end{remark1}}
\newenvironment{conjecture}{\begin{conjecture1} \rm}{\end{conjecture1}}
\newenvironment{theorem}{\begin{theorem1} \rm}{\end{theorem1}}
\newenvironment{algorithm}{\begin{algorithm1} \rm}{\end{algorithm1}}
\newenvironment{proof}[1][Proof]{\noindent\textbf{#1.} }{\ \rule{0.5em}{0.5em}}
\title{Temporary Title}
\author{Scot Anderson}
\maketitle
\begin{document}
%INSERT YOUR TEXT HERE
%See the documentation for natbib.
\bibliographystyle{abbrvnat}
\bibliography{h:/unl/BibTex/all}
\end{document} 