Article{kane2004b, author = "K. Kaneiwa," title = "Resolution for Label-based Formulas in Hierarchical Representation", journal = "New Generation Computing", volume = "22", year = "2004", number = "3", page = "253-269" }