@techreport{weko_32217_1,
   author	 = "Antonio,Magnaghi and Hidehiko,Tanaka",
   title	 = "A Procedure for K - Local Testability",
   year 	 = "1997",
   institution	 = "Graduate School of Electrical Engineering The University of Tokyo, Graduate School of Electrical Engineering The University of Tokyo",
   number	 = "115(1997-AL-059)",
   month	 = "nov"
}