Journal: Logical Methods in Computer Science (LMCS) ISSN (P) 1860-5974 ISSN (E) 1860-5974 ISSN (L) 1860-5974
Publisher: (7855) Technical University of Braunschweig