@inproceedings{RISC5143,
author = {Ilias Kotsireas and Temur Kutsia and Dimitris E. Simos},
title = {{Constructing Orthogonal Designs in Powers of Two: Groebner Bases Meet Equational Unification}},
booktitle = {{Proceedings of the 26th International Conference on Rewriting Techniques and Applications, RTA'15}},
language = {english},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
pages = {241--256},
publisher = {Schloss Dagstuhl},
isbn_issn = {ISSN 1868-8969},
year = {2015},
editor = {Maribel Fernandez},
refereed = {yes},
sponsor = {FWF under the project P 24087-N18},
length = {16}
}