\begin{lmrarticle}[english]%
{On five properties of boolean functions}{Modelman~M., Primerov~P.\,P.,
\nameasis Zhang Haoran}
\TwoAuthor%
{Modelman Maurice}%
    {Emskiy university}{modelman\_m@emsu.ru}%
{\foreignlanguage{russian}{Примеров Петр Петрович}, Zhang Haoran}%
    {\foreignlanguage{russian}{Юмский университет}}%
    {primerov\_pp@cs.msu.ru, 1743377520@cs.msu.ru}

This is an example of article formatting. The article formatting conventions
themselves are listed in file \texttt{lmr24\_guide.pdf}. There are examples of
article~[1], dissertation~[2], book~[3] references.
\begin{figure*}[ht]
\centering
\includegraphics[width=0.6\textwidth]{bcube}
\caption*{Fig.~1: Boolean cube slices.}
\end{figure*}

% Titles can be specified with \paragraph{Title name}
\paragraph{Title name.}
We use \verb|\eqno| to numerate standalone formulas like this:
\begin{equation*}
[\{x \& y, x \vee y, {\bar x}\}] = P_2. \eqno{(1)}
\end{equation*}
We also support environments like \texttt {theorem} from the \texttt {amsthm}
package. 
\begin{definition*}
Basis $\{x\&y,\ x\vee y,\ {\bar x}\}$ is called \emph{standard}.
\end{definition*}
\begin{theorem}
\label{th:fivebfen}
The theorem about five Boolean functions.
\end{theorem}
\begin{proof}
Proof of the theorem~\ref{th:fivebfen} goes here. Reference to formula~{(1)}.
\end{proof}

% Bibliography is specified manually with the environment lmrreferences
% which is a variant of the enumeration environment
\begin{lmrreferences}
\item
Modelman~M. Some properties of Boolean functions~// Bulletin of Emskiy state
university. Series~9. Mathematical cybernetics. 2014. Vol.~2, Iss.~5.
P.\,80--91.
% For russian references use the environment otherlanguage
\begin{otherlanguage}{russian}
\item
Примеров~П.\,П. Методы оценки сложности недоопределенных булевых функций~: дис.
\ldots\ канд. физ.-мат. наук~: 01.01.09~/ Примеров Петр Петрович. Юмск, 2013.
199\,с.
\item
Львовский~С.\,М. Набор и вёрстка в системе \LaTeX. М.~: МЦНМО, 2006. 448\,с.
\end{otherlanguage}
\end{lmrreferences}
\end{lmrarticle}
