Natural Logic-guided Autoregressive Multi-hop Document Retrieval for Fact Verification