Umeshwar Dayal John Miles Smith PROBE: A Knowledge-Oriented Database Management System. 227-257 1985 On Knowledge Base Management Systems (Islamorada) db/conf/db-workshops/islamorada85.html#DayalS85