Access to raw data
This is an update request for the document Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics
by Tatjana Lutovac and James Harland
Your paper was deposited in MUCC (Crossref)
and appears online at https://doi.org/10.1016/j.entcs.2005.01.002
Before we are able to make any updates or deletions, you must
ensure that the original record at this location is updated/removed.