Article Takedown/Update Request

This is an update request for the document A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method by Takahiro Seino, Kazuhiro Ogata and Kokichi Futatsugi

Your paper was deposited in MUCC (Crossref) and appears online at http://doi.org/10.1016/j.entcs.2005.06.037
Before we are able to make any updates or deletions, you must ensure that the original record at this location is updated/removed.