Leopoldo E. Bertossi Raymond Reiter Circumscription and Generic Mathematical Objects. 113-123 1994 21 Fundam. Inform. 1/2 db/journals/fuin/fuin21.html#BertossiR94