% Style for IASI reports
% Created by: Giovanni Rinaldi
\typeout{ *** IASI LaTeX macro package, version 1.1, 17-MAY-2020 *** }

\input article.cls
\usepackage{graphicx}
\usepackage{eso-pic}

\font\issn  =cmssq8  scaled\magstep2
%\renewcommand\rmdefault{cmr}
%\renewcommand\rmdefault{cmss}
%\renewcommand\sfdefault{cmss}

\renewcommand\section{\@startsection {section}{1}{\z@}{-3.5ex plus -1ex minus
-.2ex}{2.3ex plus .2ex}{\large\bf}}
\renewcommand\subsection{\@startsection{subsection}{2}{\z@}{-3.25ex plus -1ex
minus -.2ex}{1.5ex plus .2ex}{\normalsize\bf}}
\renewcommand\subsubsection{\@startsection{subsubsection}{3}{\z@}{-3.25ex plus
-1ex minus -.2ex}{1.5ex plus .2ex}{\normalsize\bf}}
\renewcommand\paragraph{\@startsection
{paragraph}{4}{\z@}{3.25ex plus 1ex minus .2ex}{-1em}{\normalsize\bf}}
\renewcommand\subparagraph{\@startsection
{subparagraph}{4}{\parindent}{3.25ex plus 1ex minus
.2ex}{-1em}{\normalsize\bf}}
\setcounter{secnumdepth}{3}

\renewcommand\thepage{\arabic{page}.}

\def\@sect#1#2#3#4#5#6[#7]#8{\ifnum #2>\c@secnumdepth
     \def\@svsec{}\else
     \refstepcounter{#1}\edef\@svsec{\csname the#1\endcsname.\hskip .5em }\fi
     \@tempskipa #5\relax
      \ifdim \@tempskipa>\z@
        \begingroup #6\relax
          \@hangfrom{\hskip #3\relax\@svsec}{\interlinepenalty \@M #8\par}
        \endgroup
       \csname #1mark\endcsname{#7}\addcontentsline
         {toc}{#1}{\ifnum #2>\c@secnumdepth \else
                      \protect\numberline{\csname the#1\endcsname}\fi
                    #7}\else
        \def\@svsechd{#6\hskip #3\@svsec #8.\csname #1mark\endcsname
                      {#7}\addcontentsline
                           {toc}{#1}{\ifnum #2>\c@secnumdepth \else
                             \protect\numberline{\csname the#1\endcsname}\fi
                       #7}}\fi
     \@xsect{#5}}

\def\@begintheorem#1#2{\it \trivlist \item[\hskip \labelsep{\bf #1\ #2.}]}

\pagestyle{myheadings}

\def\newblock{\ }

% DIMENSIONS

\setlength {\textwidth}{16.0cm}
\setlength {\textheight}{22.5cm}
\setlength {\evensidemargin}{-0.5cm}
\setlength {\oddsidemargin}{0.5cm}
\setlength {\topmargin}{-2cm}
\setlength {\voffset}{1.0cm}
\setlength {\parindent}{10pt}

\bibliographystyle{bibiasi}

\renewenvironment{abstract}{\setcounter{page}{0}\newpage\thispagestyle{empty}
\noindent{\large\bf Abstract}\\[6mm]\noindent}%
{\newpage\thispagestyle{empty}\null\newpage}

\newenvironment{keywords}{\vspace*{6mm}\noindent{\em Key words:\ }}{}

\newenvironment{AMS}{\vspace*{6mm}\noindent{\em AMS
 subject classifications:\ }}{}

\newenvironment{AM}{\vspace*{6mm}\noindent{\em AMS subject classification:\ }}{}

\newcommand\Rtitle[1]{\gdef\@Rtitle{\uppercase{#1}}}

\newcommand\Rauthor[1]{\gdef\@Rauthor{#1}}

\newcommand\Rnumber[1]{\gdef\@Rnumber{#1}}

\newcommand\Rdate[1]{\gdef\@Rdate{#1}}

\newcommand\Rauthorb[1]{\gdef\@Rauthorb{#1}}

\newcommand\Rthanks[1]{\gdef\@Rthanks{\textsf{#1}}}

\def\maketitle{\par
 \begingroup
 \global\@topnum\z@ \@maketitle
 \endgroup
 \let\maketitle\relax
 \let\@maketitle\relax
 \gdef\@Rauthor{}\gdef\@Rtitle{}}
\def\@maketitle{
 \null\thispagestyle{empty}\par
 \vspace{-2.40cm}
\begin{flushleft}
	\includegraphics{HeaderRapporti}
\end{flushleft}

 \vspace{3.5cm}
 \hspace{1.45cm}
 \begin{minipage}[s][5cm]{11cm}
 \hyphenpenalty=10000
 \begin{flushleft}
 \textsf{
 {\large\bfseries
 \vfill
 \def\and{\unskip,\ \ }\@tempswafalse\expandafter\@doauth\@Rauthor\and\relax}\\
 \renewcommand {\baselinestretch}{1.2}
 \vfill
 \vfill
 {\large\bfseries \@Rtitle \\}
 \vfill
 \vfill
 {\large\bfseries R.\ \@Rnumber,~\@Rdate}
 }
 \end{flushleft}\par
 \end{minipage}
 \vfill
 \textsf{
  {\begin{description}
  \def\and{}\def\at{}\@tempswafalse\expandafter\@doauthb\@Rauthorb\and\relax
  \end{description}\vspace*{-8mm}
 }}
 \vspace*{8mm}\noindent{\small \@Rthanks}
 \vspace*{2mm}
 \begin{flushright}
  {\issn ISSN: 1128--3378}
 \end{flushright}
 
% Draw the watermark
\makeatletter
\AddToShipoutPicture*{%
	\setlength{\@tempdimb}{-.0755\paperwidth}%
	\setlength{\@tempdimc}{0.0771\paperheight}%
	\setlength{\unitlength}{1pt}%
	\put(\strip@pt\@tempdimb,\strip@pt\@tempdimc){%
	\includegraphics[scale=0.2]{iasiStrip}
	}
	\setlength{\@tempdimb}{.03\paperwidth}%
	\setlength{\@tempdimc}{.03\paperheight}%
	\setlength{\unitlength}{1pt}%
	\put(\strip@pt\@tempdimb,\strip@pt\@tempdimc){%
	\includegraphics[scale=0.2,angle=90]{iasiStrip}
	}
}
\makeatother

 \newpage\thispagestyle{empty}

\begin{flushleft}
\textsf{%
ISSN: 1128-3378 -- ``Collana dei rapporti dell'Istituto di Analisi dei Sistemi ed Informatica''
}
\end{flushleft}
\vfill
\begin{flushleft}
\textsf{%
Research Report Series of\\[3mm]
Istituto di Analisi dei Sistemi ed Informatica ``Antonio Ruberti'' --
CNR \\[2mm]
via dei Taurini 19, 00185 ROMA, Italy \\[3mm]
tel.\ ++39-06-4993-7102/1 \\
fax ++39-06-4993-7106 \\
email: {\tt iasi@iasi.cnr.it} \\
URL: {\tt http://www.iasi.cnr.it}
}
\end{flushleft}
}
\def\@doauth#1\and{\let\@nextdoa=\@doauth
 \def\@tempc{#1}
 \futurelet\@tempa\@doautha}
\def\@doautha{\ifx\@tempa\relax%
\if@tempswa{\and}\fi%
\let\@nextdoa=\relax%
\else%
\if@tempswa\gdef\and{\unskip,\ \ }\unskip,\ \ \fi%
\fi%
\@tempc\unskip\@tempswatrue\@nextdoa}
%
\def\@doauthb#1\and{\let\@nextdoa=\@doauthb
 \def\@tempc{#1}
 \futurelet\@tempa\@doauthab}
\def\@doauthab{\ifx\@tempa\relax%
  \if@tempswa{\and}\fi%
  \let\@nextdoa=\relax%
 \else%
  \if@tempswa\gdef\and{}\gdef\at{\ } \fi
 \fi%
 \expandafter\@split\@tempc\at\unskip\@tempswatrue\@nextdoa}
\def\@split#1\at#2\at{\item[{\textsf{\bfseries #1}}\hskip 5pt plus 80pt --\hskip 5pt
  plus 80pt ]\hspace*{-2mm}\unskip#2\unskip.}
\let\and=\relax
\let\at=\relax

\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{remark}[theorem]{Remark}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{case}[theorem]{Case}

\def\proof{\par{\it Proof}. \ignorespaces}
%\def\qed{{\vbox{\hrule\hbox{\vrule height1.3ex\hskip0.8ex\vrule}\hrule}}}
\def\qed{\hbox{\rule{0.9ex}{1.5ex}}}
%\def\endproof{\unskip \nobreak \hskip0pt plus 1fill \qquad \qed \par}
\def\endproof{\unskip~\qed \par}
\def\proofnoqed{\par{\it Proof}. \ignorespaces}
%\def\qed{{\vbox{\hrule\hbox{\vrule height1.3ex\hskip0.8ex\vrule}\hrule}}}
\def\qed{\hbox{\rule{0.9ex}{1.5ex}}}
%\def\endproof{\unskip \nobreak \hskip0pt plus 1fill \qquad \qed \par}
\def\endproofnoqed{\unskip\par}
\renewcommand{\markboth}[2]{}

\def\@tempa{}            % Free up TeX's memory
\def\@tempb{}

\Rthanks{}
%\renewcommand\rmdefault{cmr}
