Date of Original Version

11-28-2003

Type

Article

DOI

10.1093/logcom/13.5.639

Comments

This is a pre-copy-editing, author-produced PDF of an article accepted for publication in Journal of Logic and Computation following peer review. The definitive publisher-authenticated version Volume 13, Number 5, 2003 pp 639-688 is available online at: http://logcom.oxfordjournals.org/cgi/content/abstract/13/5/639

Share

COinS