Отправить по sms: Hypergraphs in Model Checking: Acyclicity and Hypertree−Width versus Clique−Width