LPS Sets with restricted {universal quantifiers}. ["Logic Programming with Sets", G. Kuper, J Computer Sys Sci 41:44-64 (1990)].
LPS Lines Per Second
LPS Lotus Professional Services (Lotus)