			ANNOTATED BIBLIOGRAPHY


[BJ93] Closure Functions and Static Program Analysis, A. Beers and 
       B. Jayaraman, to be submitted for publication, 1993.  (This paper
       shows how SEL's closure functions can be used to carry out various 
       flow analyses, including an example of how to statically detect 
       whether a SEL function possesses the distribution-over-union property.)

[JP87] Functional Programming with Sets, by B. Jayaraman and D. A. 
       Plaisted,  In 3rd Int'l Func. Prog. & Comp. Arch. conference,  
       pp. 194-210, Portland, 1987. (Introduces subset clauses,
       set patterns, and distribution over union.)

[JN88] Subset Logic Programming: Application and Implementation,
       B. Jayaraman and Anil Nair, In Fifth Int'l Logic Programming 
       Conference, pp. 848-859, Seattle, 1988.  (Introduces the idea
       of compiling set terms with WAM-like instructions.)

[JP89] Programming with Equations, Subsets and Relations, B. Jayaraman 
       and D.A. Plaisted, In North American Logic Programming Conference, 
       Cleveland, October 1989, pp.~1051-1068.  (Introduces closure functions
       as well as the Subset-Relational Language or SRL paradigm.)

[J90a] Subset-Equational Programming in Intelligent Decision Systems,
       B. Jayaraman, Invited paper for a special issue of the
       Journal of Computers and Mathematics with Applications,
       volume 20, pp. 40-63.  (Shows the use of SEL in Forward
       and Backward chaining expert systems.  See Papers/decision.dvi)  

[J90b] Towards a Broader Basis for Logic Programming, B. Jayaraman,
       Proc. Joint U.S.-Japan Workshop on Parallel Knowledge-based 
       Systems and Logic Programming,  K. Furukawa and R.M. Keller 
       (eds.), Tokyo, September 1990.  (Introduces the SuRE language,
       which is an integration of SEL and SRL.)

[J91] The SuRE Programming Framework, B. Jayaraman, TR 91-011, Department 
      of Computer Science, SUNY-Buffalo, July 1991.  (More on the SuRE
      language.   See Papers/SuRE.dvi.)

[J92] Implementation of Subset-Equational Programs, B. Jayaraman, 
      Journal of Logic Programming, 11:299-324, April 1992.  (Elaboration
      of [JN88].  Shows how set matching and subset assertions can be 
      compiled by WAM-like instructions.  Also discusses distribution 
      over union and its effect on performance.  See Papers/jlp92.dvi.)

[J93] Semantics of Subset Logic Languages, Devashis Jana,
      Ph.D. Dissertation, Dept. of Computer Science, SUNY-Buffalo,
      forthcoming 1993.  (Provides logical foundations for SEL and SuRE.)

[M93] Static Analysis and Implementation of Subset Logic Languages,
      Kyonghee Moon, Ph.D. Dissertation	Proposal, SUNY-Buffalo, May 1993.
      (Outlines research issues in the compilation and execution of the
       SEL and SuRE languages.)

[N88]  Compilation of Subset Logic Programs, Anil Nair, M.S. Thesis, 
       UNC, Chapel Hill, September 1988. (Served as Manual for SEL 
       Version 1. See ../SEL1 for this paper.)

[JJ93] Set Constructors, Finite Sets, and Unification, D. Jana and 
       B. Jayaraman, to be submitted for publication, 1993.  (Describes
       the Set Unification operation over SEL-like sets.  See 
       Papers/setunif.dvi.)

[OJ93] Subset Assertions and Negation As Faiure, M. Osorio and B. Jayaraman,  
       submitted for publication, April 1993.  (Describes memoization and
       reexecution is some detail, along with model-theoretic semantics.
       See Papers/subset-NAF.dvi.)
	
[S91] Set Representations in a Subset-Equational Language, Giancarlo
      Succi, M.S. Thesis, Dept. of Computer Science, SUNY-Buffalo,
      January 1991.  (Considers different set representations for SEL, 
      as in the SETL language.  Contact charmi@dist.unige.it for a copy.)

[S93] La Compilazione Di Linguiaggi Dichirativi Basati Su Insiemi Per
      Architetture Parallele,  Giancarlo Succi, Ph.D. dissertation,
      U. of Genova, February 1993.  (Describes a data parallel
      implementation of SEL on the Connection Machine CM-2. Contact 
      charmi@dist.unige.it for a copy.)
