Time and Incompleteness in a Deductive Database.

M. Howard Williams, Quinzheng Kong

Browse the full IPMU paper archive.