11080 Andrew Davison/Seng Wai Loke: LogicWeb - enhancing the Web with
logic programming. Internet 1996, 26p.

11088 Enrico Denti/Antonio Natali/Andrea Omicini: Merging logic programming
into Web-based technology - a coordination-based approach.
Internet ca. 1997, 15p.

15686 Ronald Fagin: Horn clauses and database dependencies.
J. ACM 29/4 (1982), 952-985.

G. Kuper/L. Libkin/J. Paredans (ed.): Constraint databases.
Springer 2000, 430p. DM 119.

11081 Seng Wai Loke/Andrew Davison: Logic programming with the world
wide web. Internet ca. 1996, 15p.

11082 Seng Wai Loke: LogicWeb - using logic programming to extend
the world wide web. Internet ca. 1997, 8p.

11077 Seng Wai Loke/Andrew Davison: A two-level world wide web model
with logic programming links. Internet ca. 1997, 14p.

11079 Seng Wai Loke/Andrew Davison/L. Sterling: Lightweight deductive
databases on the world-wide web. Internet ca. 1997, 17p.

11106 Yoelle Maarek/Israel Ben Shaul: Automatically organizing bookmarks
per contents. Internet 1996, 21p.

11108 Sergio Margarita/Ernesto Salinelli: Multimedia mathematics.
1st Int. Toolbook Virtual Conf. 1996, ...

11093 Ute Masermann: Suchdienste im World-Wide-Web - Anforderungen
und Perspektiven. Internet ca. 1997, 10p.

11083 Helmut Prendinger: Logic programming methods for searching the Web.
Internet 1997, 14p.

15687 Yehoshua Sagiv/Claude Delobel/D. Stott Parker/Ronald Fagin:
An equivalence between relational database dependencies and a
fragment of propositional logic.
J. ACM 28/3 (1981), 435-453; corr. 34/4 (1987), 1016-1018.

14318 Moshe Vardi: Constraint satisfaction and database theory - a
tutorial. Internet ca. 1999, 9p.