@article{108c29006c2845269a6be6ed2478ec07,
title = "Semantics and properties of existential quantifiers in deductive databases",
keywords = "Databases, automatic theorem proving, database systems, deductive databases",
author = "Lee, {Sang Ho} and Henschen, {Lawrence Joseph}",
year = "1993",
month = aug,
day = "20",
doi = "10.1016/0020-0190(93)90232-X",
language = "English (US)",
volume = "47",
pages = "101--108",
journal = "Information Processing Letters",
issn = "0020-0190",
publisher = "Elsevier",
number = "2",
}