@InProceedings{Hir21,
    Author       = "Hirokawa, N.",
    Year         = "2021",
    Title        = "{Completion and Reduction Orders}",
    Editor       = "Kobayashi, N.",
    BookTitle    = "{Proceedings of the 6th International Conference on Formal
                    Structures for Computation and Deduction}",
    Place        = "Dagstuhl, Germany",
    Series       = "Leibniz International Proceedings in Informatics",
    Number       = "195",
    Pages        = "2:1-2:9",
    Publisher    = "Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik",
    Comment      = ""
}