So, Shieber's algorithm is sound as a recognizer, 6 but not as a transducer or parser (as in van Noord, [1997]) where the correctness of output models (i.e., parse trees) is critical.
shieber's algorithm is correct up to Tomuro and Lytinen Nonminimal Derivations licensing, but incorrect on the basis of a stronger criteria of minimality.