V.Yu.Sazonov,
On Bounded Set Theory,
Invited talk on the
10th International, Congress on Logic, Methodology and
Philosophy of Sciences, Florence, August 1995, in Volume I:
Logic and Scientific Method, Kluwer Academic Publishers,
1997, pp. 85--103

A. P. Lisitsa
and
V.Yu.Sazonov,
Bounded Hyperset Theory and Web-like Data Bases,
DIMACS technical Report 97-21,
Rutgers University, June 1997.
Cf. also
Georg Gottlob,
Alexander Leitsch, Daniele Mundici (Eds.): Computational Logic and Proof
Theory, 5th Kurt G\"odel Colloquium, KGC'97, Vienna, Austria, August 25--29,
1997, Proceedings. Lecture Notes in Computer Science, Vol. 1289, Springer,
1997, pp. 172--185.
(Abstract).