@misc{weko_152854_1, title = "A-30 Property Verification for Arithmetic Logical Circuit by using Proof Checker", month = "sep", year = "2002" }