@article{Futatsugi:2012:PPS:2397725.2397950,
 author = {Futatsugi, Kokichi and Gin, Daniel and Ogata, Kazuhiro},
 title = {Principles of proof scores in CafeOBJ},
 journal = {Theor. Comput. Sci.},
 issue_date = {December, 2012},
 volume = {464},
 month = dec,
 year = {2012},
 issn = {0304-3975},
 pages = {90--112},
 numpages = {23},
 url = {http://dx.doi.org/10.1016/j.tcs.2012.07.041},
 doi = {10.1016/j.tcs.2012.07.041},
 acmid = {2397950},
 publisher = {Elsevier Science Publishers Ltd.},
 address = {Essex, UK},
 keywords = {Algebraic specifications, CafeOBJ, Proof scores, Term rewriting, Theorem proving},
}

