System/K: A Knowledge Base Management System.

Mauro Maier, Claudio Cirilli

Browse the full SSDBM paper archive.