A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL. The file type is application/pdf.
application/pdf
R. D. Arthan. "On formal specification of a proof tool." Lecture Notes in Computer Science (1991) 356-370