TPTP Reference: KH11


@InProceedings{KH11,
    Author       = "Klein, D. and Hirokawa, N.",
    Year         = "2011",
    Title        = "{Maximal Completion}",
    Editor       = "Schmidt-Schauss, M.",
    BookTitle    = "{Proceedings of the 22nd International Conference on
                    Rewriting Techniques and Applications}",
    Place        = "Novi Sad, Serbia",
    Series       = "Leibniz International Proceedings in Informatics",
    Number       = "10",
    Pages        = "71-80",
    Publisher    = "Dagstuhl Publishing",
    Comment      = ""
}