Grzegorz Rozenberg R. Verraedt Completeness of <i> E </i> 0 <i> L </i> Forms is Decidable. 69-87 1982 17 Acta Inf. db/journals/acta/acta17.html#RozenbergV82