CiteSeer.IST HomeCheck: The following citations are predicted to all refer to the same paper. Details
J. L. Caldwell, I. P. Gent, and J. Underwood. Search algorithms in type theory. In Submitted to: Theoretical Computer Science: Special Issue on Proof Search in Type-theoretic Languages, September 1997.
Caldwell, J. L., Gent, I. P. and Underwood, J. (1997) Search algorithms in type theory. Theoretical Computer Science. (To appear in Special Issue on Proof Search in Typetheoretic Languages).
James Caldwell, Ian Gent, and Judith Underwood. Search algorithms in type theory. Theoretical Computer Science, 232(1-2):55-90, Feb. 2000.
James Caldwell, Ian Gent, and Judith Underwood. Search algorithms in type theory. Theoretical Computer Science, 232(1-2):55--90, Feb. 2000.
J. Caldwell, I. Gent, and J. Underwood. Search algorithms in type theory. Theoretical Computer Science, 232(1--2):55--90, February 2000.