TY - RPRT TI - Specifying Graph Languages with Type Graphs AU - Andrea Corradini AU - Barbara König AU - Dennis Nolte PY - 2017 UR - https://arxiv.org/abs/1704.05263 ID - 1704.05263 ER -