@unpublished{Revivals, title = "{Revivals,stuckness and the hierarchy of CSP Models}", author = "A. W. Roscoe", year = "2008", journal = "JLAP", month = "December", note = "to appear (revision of 2005 and 2007 drafts)", }