%!TEX root = main.tex

In this section we explain how the Maude specifications introduced in

Hets are parsed in order to obtain its abstract syntax, described in

Section \ref{subsec:abs-syntax}.