Sets with restricted universal quantifiers. ["Logic Programming with Sets", G. Kuper, J Computer Sys Sci 41:44-64 (1990)].

In addition suitable contents:
[ = ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ C ] [ ch ] [ ci ] [ Computer ] [ du ] [ ed ] [ er ] [ es ] [ et ] [ fi ] [ file ] [ G ] [ gi ] [ gr ] [ h ] [ hr ] [ id ] [ ie ] [ il ] [ in ] [ it ] [ J ] [ K ] [ Lex ] [ mm ] [ mo ] [ mod ] [ module ] [ mp ] [ na ] [ ng ] [ ni ] [ om ] [ pe ] [ ph ] [ quantifier ] [ query ] [ rc ] [ re ] [ ro ] [ S ] [ sa ] [ se ] [ st ] [ strict ] [ th ] [ tr ] [ ua ] [ universal quantifier ] [ up ] [ ve ]