@article{weko_9945_1,
   author	 = "Nakamura,Masaki and Ogata,Kazuhiro and Futatsugi,Kokichi",
   title	 = "Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications",
   journal	 = "Journal of Symbolic Computation",
   year 	 = "2010",
   volume	 = "45",
   number	 = "5",
   pages	 = "551--573",
   month	 = "jan"
}