Databases for deductive reasoning

Nick Packard

View document (PDF)