@article(ANSS14jlap,
 author       = {Gabriel Aranda and Susana Nieva and Saenz-Perez, Fernando and Sanchez-Hernandez, Jaime},
 year         = {2014},
 title        = {An extended constraint deductive database: Theory and implementation.},
 journal      = {Journal of Logic and Algebraic Programming},
 volume       = {83},
 number       = {1},
 pages        = {20--52},
 doi          = {10.1016/j.jlap.2013.07.002},
)
@inproceedings(EasyChair:355,
 author       = {Gabriel Aranda and Susana Nieva and Saenz-Perez, Fernando and S\'anchez-Hern\'andez, Jaime},
 year         = {2014},
 title        = {Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems},
 editor       = {Ken Mcmillan and Aart Middeldorp and Geoff Sutcliffe and Andrei Voronkov},
 booktitle    = {LPAR-19},
 series       = {EPiC Series},
 volume       = {26},
 publisher    = {EasyChair},
 pages        = {9--22},
)
@inproceedings(Bonner89hypotheticaldatalog,
 author       = {Anthony J. Bonner},
 year         = {1989},
 title        = {{Hypothetical Datalog: Negation and Linear Recursion}},
 booktitle    = {Proceedings of the PODS ACM Symposium},
 pages        = {286--300},
 doi          = {10.1145/73721.73750},
)
@article(Bonner90hypotheticaldatalog,
 author       = {Anthony J. Bonner},
 year         = {1990},
 title        = {{Hypothetical Datalog: Complexity and Expressibility}},
 journal      = {Theoretical Computer Science},
 volume       = {76},
 pages        = {3--51},
 doi          = {10.1016/0304-3975(90)90011-6},
)
@inproceedings(bonner90adding,
 author       = {Anthony J. Bonner and L. Thorne McCarty},
 year         = {1990},
 title        = {Adding Negation-as-Failure to Intuitionistic Logic Programming},
 editor       = {Ewing L. Lusk and Ross A. Overbeek},
 booktitle    = {Proc. of the North American Conference on Logic Programming},
 publisher    = {The MIT Press},
 pages        = {681--703},
)
@inproceedings(DBLP:conf/dagstuhl/ChristiansenA98,
 author       = {Henning Christiansen and Troels Andreasen},
 year         = {1998},
 title        = {{A Practical Approach to Hypothetical Database Queries}},
 booktitle    = {Transactions and Change in Logic Databases},
 pages        = {340--355},
 doi          = {10.1007/BFb0055505},
)
@book(Date2009,
 author       = {Chris J. Date},
 year         = {2009},
 title        = {SQL and relational theory: how to write accurate SQL code},
 publisher    = {O'Reilly},
)
@inproceedings(Dietrich87,
 author       = {Suzanne W. Dietrich},
 year         = {1987},
 title        = {Extension Tables: Memo Relations in Logic Programming},
 booktitle    = {IEEE Symp. on Logic Programming},
 pages        = {264--272},
)
@article(DBLP:journals/jlp/Gabbay85,
 author       = {Dov M. Gabbay},
 year         = {1985},
 title        = {{N-Prolog: An Extension of Prolog with Hypothetical Implication II - Logical Foundations, and Negation as Failure}},
 journal      = {JLP},
 volume       = {2},
 number       = {4},
 pages        = {251--283},
 doi          = {10.1016/0743-1066(84)90029-3},
)
@article(Gelfond91classicalnegation,
 author       = {Michael Gelfond and Vladimir Lifschitz},
 year         = {1991},
 title        = {Classical Negation in Logic Programs and Disjunctive Databases},
 journal      = {New Generation Computing},
 volume       = {9},
 pages        = {365--385},
 doi          = {10.1007/BF03037169},
)
@article(DBLP:journals/jdwm/GolfarelliR09a,
 author       = {Matteo Golfarelli and Stefano Rizzi},
 year         = {2009},
 title        = {What-if Simulation Modeling in Business Intelligence},
 journal      = {IJDWM},
 volume       = {5},
 number       = {4},
 pages        = {24--43},
 doi          = {10.4018/jdwm.2009080702},
)
@inproceedings(Guzman:2008:ICC:1785754.1785768,
 author       = {Pablo Chico de Guzm\'{a}n and Manuel Carro and Manuel V. Hermenegildo and Cl\'{a}udio Silva and Ricardo Rocha},
 year         = {2008},
 title        = {An improved continuation call-based implementation of tabling},
 booktitle    = {{Proc. of the 10th International Conference on Practical Aspects of Declarative Languages}},
 publisher    = {Springer-Verlag},
 address      = {Berlin, Heidelberg},
 pages        = {197--213},
 doi          = {10.1007/978-3-540-77442-6\_14},
)
@article(DBLP:journals/jlp/McCarty88,
 author       = {L. Thorne McCarty},
 year         = {1988},
 title        = {{Clausal Intuitionistic Logic I - Fixed-Point Semantics}},
 journal      = {JLP},
 volume       = {5},
 number       = {1},
 pages        = {1--31},
 doi          = {10.1016/0743-1066(88)90005-2},
)
@inproceedings(Miller86atheory,
 author       = {Dale Miller},
 year         = {1986},
 title        = {{A Theory of Modules for Logic Programming}},
 booktitle    = {Symp. Logic Programming},
 pages        = {106--114},
)
@article(uniform,
 author       = {Dale Miller and Gopalan Nadathur and Frank Pfenning and Andre Scedrov},
 year         = {1991},
 title        = {{Uniform Proofs as a Foundation for Logic Programming}},
 journal      = {Annals of Pure and Applied Logic},
 volume       = {51},
 pages        = {125--157},
 doi          = {10.1016/0168-0072(91)90068-W},
)
@misc(oracle:data:warehousing:2011,
 author       = {Oracle},
 year         = {2013},
 title        = {{Database Data Warehousing Guide, 11g Release 2 (11.2)}},
 doi          = {10.1.1.474.2133},
)
@inproceedings(sae13c-ictai13,
 author       = {S\'aenz-P\'erez, Fernando},
 year         = {2013},
 title        = {Implementing Tabled Hypothetical Datalog},
 booktitle    = {Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, ICTAI'13},
 pages        = {596--601},
 doi          = {10.1109/ICTAI.2013.94},
)
@article(sae13a,
 author       = {S\'aenz-P\'erez, Fernando},
 year         = {2013},
 title        = {Tabling with Support for Relational Features in a Deductive Database},
 journal      = {Electronic Communications of the EASST},
 volume       = {55},
 pages        = {1 -- 16},
 doi          = {10.14279/tuj.eceasst.55.819},
)
@inproceedings(DBLP:conf/aplas/Saenz-PerezCG11,
 author       = {S{\'a}enz-P{\'e}rez, Fernando and Rafael Caballero and Garc\'{\i}a-Ruiz, Yolanda},
 year         = {2011},
 title        = {{A Deductive Database with Datalog and SQL Query Languages}},
 booktitle    = {APLAS},
 series       = {LNCS},
 volume       = {7078},
 pages        = {66--73},
 doi          = {10.1007/978-3-642-25318-8\_8},
)
@article(Shen02slt-resolutionfor,
 author       = {Yi-Dong Shen and Li-Yan Yuan and Jia-Huai You},
 year         = {2002},
 title        = {{SLT-Resolution for the Well-Founded Semantics}},
 journal      = {JAR},
 volume       = {28},
 pages        = {53--97},
 doi          = {10.1023/A:1020116927466},
)
@inproceedings(Stonebraker:1980:EEK:582250.582261,
 author       = {Michael Stonebraker and Kenneth Keller},
 year         = {1980},
 title        = {Embedding Expert Knowledge and Hypothetical Data Bases into a Data Base System},
 booktitle    = {Proceedings of the 1980 ACM SIGMOD International Conference on Management of Data},
 series       = {SIGMOD '80},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {58--66},
 doi          = {10.1145/582250.582261},
)
@article(DBLP:journals/tplp/SwiftW12,
 author       = {Terrance Swift and David Scott Warren},
 year         = {2012},
 title        = {{XSB: Extending Prolog with Tabled Logic Programming}},
 journal      = {TPLP},
 volume       = {12},
 number       = {1-2},
 pages        = {157--187},
 doi          = {10.1017/S1471068411000500},
)
@inproceedings(TS86,
 author       = {Hisao Tamaki and Taisuke Sato},
 year         = {1986},
 title        = {{OLDT} Resolution with Tabulation},
 booktitle    = {Third International Conference on Logic Programming},
 pages        = {84--98},
 doi          = {10.1007/3-540-16492-8\_66},
)
@book(Ullman88,
 author       = {Jeffrey D. Ullman},
 year         = {1988},
 title        = {{Database and Knowledge-Base Systems, Vols. I (Classical Database Systems) and II (The New Technologies)}},
 publisher    = {Computer Science Press},
)
@inproceedings(DBLP:conf/lpar/VieilleBKLM92,
 author       = {Laurent Vieille and Petra Bayer and Volker K{\"u}chenhoff and Alexandre Lefebvre and Rainer Manthey},
 year         = {1992},
 title        = {{The EKS-V1 System}},
 editor       = {Andrei Voronkov},
 booktitle    = {LPAR},
 series       = {LNCS},
 volume       = {624},
 publisher    = {Springer},
 pages        = {504--506},
 doi          = {10.1007/BFb0013102},
)
@inproceedings(Zhang:2007:AHQ:1304611.1306565,
 author       = {Yu Zhang and Huajun Chen and Hao Sheng and Zhaohui Wu},
 year         = {2007},
 title        = {Applying Hypothetical Queries to E-Commerce Systems to Support Reservation and Personal Preferences},
 booktitle    = {Proc. of IDEAS '07},
 publisher    = {IEEE},
 pages        = {46--53},
 doi          = {10.1109/IDEAS.2007.4318088},
)
@inproceedings(DBLP:conf/bife/ZhouCZ09,
 author       = {Guoliang Zhou and Hong Chen and Yansong Zhang},
 year         = {2009},
 title        = {Hypothetical Queries on Multidimensional Dataset},
 editor       = {S. Wang and L. Yu and F. Wen and S. He and Y. Fang and K. K. Lai},
 booktitle    = {Proc. of BIFE},
 publisher    = {IEEE},
 pages        = {539--543},
 doi          = {10.1109/BIFE.2009.127},
)