
\newcommand{\citeall}{\cite{TheSEBook1wo,TheSEBook2wo,TheSEBook3wo}}
\newcommand{\citesei}{\cite{TheSEBook1wo}}
\newcommand{\citeseii}{\cite{TheSEBook2wo}}
\newcommand{\citeifm}{\cite{ifmall}}
\newcommand{\citealloy}{\cite{alloy}}
\newcommand{\citeasm}{\cite{losl:2007:asm}}
\newcommand{\citeb}{\cite{JRAbrial:TheBBooks}}
\newcommand{\citetlap}{\cite{Lamport-TLA+02}}%
\newcommand{\citecafeobj}{\cite{futatsugi2000a}}
\newcommand{\citecasl}{\cite{CoFI:2004:CASL-RM}}
\newcommand{\citevdm}{\cite{e:db:Bj78bwo,e:db:Bj82b}}
\newcommand{\citez}{\cite{m:z:jd+jcppw96}}
\newcommand{\citersl}{\cite{RSL}}
\newcommand{\citeraise}{\cite{RaiseMethod}}
\newcommand{\citepetrinets}{\cite{m:petri:wr09}}
\newcommand{\citescs}{\cite{Harel87}}
\newcommand{\citemscs}{\cite{MSCall}}
\newcommand{\citedc}{\cite{zcc+mrh2002}}
\newcommand{\citecsp}{\cite{Hoare85+2004}}

\renewcommand{\subparagraph}[1]{\noindent \sort{--- #1}}

\newcommand{\isref}[1]{{is\_#1}\,[pg\,\pageref{dal:#1}]}
\newcommand{\isrefii}[2]{#2\,[pg\,\pageref{dal:#1}]}
\newcommand{\bcacm}{}%\cbstart[5pt]}
\newcommand{\ecacm}{}%\cbend}
\newcommand{\nybcacm}{}%\cbstart[5pt]}
\newcommand{\nyecacm}{}%\cbend}
\newcommand{\cacm}[1]{\bcacm{#1}\cbend}%%%%#1}%%%%
\newcommand{\nycacm}[1]{\nybcacm{#1}\nyecacm}%%%%#1}%%%%
\renewcommand{\cacm}[1]{#1}%%%%#1}%%%%
\renewcommand{\nycacm}[1]{#1}%%%%#1}%%%
\newcommand{\bpmlp}{\cbstart[2pt]}
\newcommand{\epmlp}{\cbend}
\newcommand{\pmlp}[1]{#1}%{\bpmlp{#1}\epmlp}

\newcommand{\bdomo}{}%{\cbstart[4pt]}
\newcommand{\edomo}{}%{\cbend}
\newcommand{\bedomo}[1]{#1}%{\bpmlp{#1}\epmlp}

% YSF-Sep-13 Begin
% In the following, changed 'theorem' to 'dbsche',
% which is newly defined in 'new-cacm.sty' .
% 
\newcommand{\nbacm}[2]{%
\begin{dbsche}\rm\label{skema:#1}\rm%
    \noindent \textsf{\textbf{#1}} #2
  \end{dbsche}}
%
% YSF-Sep-13 End


\renewcommand{\nbacm}{\description}

\newcommand{\eacm}{}%{\vspace*{0,5mm}} 

\newcommand{\acmorbook}[2]{#1}

\newcommand{\bookoracm}[2]{#2}

\newcommand{\nbbbbb}[1]{\section{\normalsize#1}}
\newcommand{\bbbbb}[1]{\section{\normalsize#1}}
\newcommand{\nbbbb}[1]{\subsection{\normalsize#1}}
\newcommand{\bbbb}[1]{\subsection{\normalsize#1}}
\newcommand{\nbbb}[1]{\subsubsection{\normalsize#1.}}
\newcommand{\bbb}[1]{\subsubsection{\normalsize#1.}}
\newcommand{\nbb}[1]{\paragraph{\normalsize\sort{#1}}}
\newcommand{\bb}[1]{\paragraph{\normalsize\sort{#1}}}

\newtheorem{cue}[theorem]{{\sc\bf Prompt}}
\newtheorem{onto}[theorem]{{\sc\bf Ontological Choice}}
\newtheorem{hili}[theorem]{{\sc\bf High Light}}

\newcommand{\amol}{\texttt{RSL}}

\newcommand{\savei}{\setcounter{sei}{\value{enumi}}}
\renewcommand{\nycacm}[1]{}
