Domain Representations Induced by Dyadic Subbases. - Hideki Tsuiki; Yasuyuki Tsukamoyo (Log. Methods Comput. Sci., 2015)