{"id": "1V6S22tRwUGDmxZLRyQ39cGuTrQAhNnS2", "title": "Linearizability_of_Datalog+-_Programs_External-report.pdf", "mimeType": "application\/pdf"}