@inproceedings(AC05,
 author       = {Marco Alberti and Federico Chesani and Marco Gavanelli and Evelina Lamma and Paola Mello and Paolo Torroni},
 year         = {2005},
 title        = {Security {P}rotocols {V}erification in {A}bductive {L}ogic {P}rogramming: {A} {C}ase {S}tudy},
 booktitle    = {International Workshop on Engineering Societies in the Agents World},
 organization = {Springer},
 pages        = {106--124},
 doi          = {10.1007/11759683_7},
)
@article(AP04,
 author       = {Jos{\'e} J{\'u}lio Alferes and Lu{\'\i}s Moniz Pereira and Terrance Swift},
 year         = {2004},
 title        = {Abduction in {W}ell-founded {S}emantics and {G}eneralized {S}table {M}odels via {T}abled {D}ual {P}rograms},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {4},
 number       = {4},
 pages        = {383--428},
 doi          = {10.1017/S1471068403001960},
)
@incollection(DK02,
 author       = {Marc Denecker and Antonis Kakas},
 year         = {2002},
 title        = {Abduction in {L}ogic {P}rogramming},
 booktitle    = {Computational logic: Logic Programming and Beyond},
 publisher    = {Springer},
 pages        = {402--436},
 doi          = {10.1007/3-540-45628-7_16},
)
@inproceedings(GT00,
 author       = {Joseph Gartner and Terrance Swift and Allen Tien and Carlos Viegas Dam{\'a}sio and Lu{\'\i}s Moniz Pereira},
 year         = {2000},
 title        = {Psychiatric {D}iagnosis from the {V}iewpoint of {C}omputational {L}ogic},
 booktitle    = {International Conference on Computational Logic},
 organization = {Springer},
 pages        = {1362--1376},
 doi          = {10.1007/3-540-44957-4_91},
)
@article(IS19,
 author       = {Muhammad Okky Ibrohim and Ari Saptawijaya},
 year         = {2019},
 title        = {Tabling with {I}nterned {T}erms on {C}ontextual {A}bduction},
 journal      = {Jurnal Ilmu Komputer dan Informasi},
 volume       = {12},
 number       = {1},
 pages        = {1--11},
 doi          = {10.21609/jiki.v12i1.569},
)
@article(KM01,
 author       = {Antonis C. Kakas and Antonia Michael},
 year         = {2001},
 title        = {An {A}bductive-based {S}cheduler for {A}ir-crew {A}ssignment},
 journal      = {Applied Artificial Intelligence},
 volume       = {15},
 number       = {3},
 pages        = {333--360},
 doi          = {10.1080/08839510151063299},
)
@article(KS11,
 author       = {Robert Kowalski and Fariba Sadri},
 year         = {2011},
 title        = {Abductive {L}ogic {P}rogramming {A}gents with {D}estructive {D}atabases},
 journal      = {Annals of Mathematics and Artificial Intelligence},
 volume       = {62},
 number       = {1-2},
 pages        = {129--158},
 doi          = {10.1007/s10472-011-9253-y},
)
@inproceedings(LK12,
 author       = {Sotiris Lazarou and Antonis C. Kakas and Christiana Neophytou and Andreas Constantinou},
 year         = {2013},
 title        = {Automated {S}cientific {A}ssistant for {C}ancer and {C}hemoprevention},
 booktitle    = {IFIP International Conference on Artificial Intelligence Applications and Innovations},
 volume       = {412},
 publisher    = {Springer},
 pages        = {96--109},
 doi          = {10.1007/978-3-642-41142-7\_11},
)
@inproceedings(PA91,
 author       = {Lu{\'\i}s Moniz Pereira and Apar{\'\i}cio, Joaquim Nunes and Jos{\'e} J{\'u}lio Alferes},
 year         = {1991},
 title        = {Hypothetical {R}easoning with {W}ell {F}ounded {S}emantics},
 booktitle    = {Procs. 3rd Scandinavian Conference on Artificial Intelligence},
 volume       = {12},
 organization = {IOS Press},
 pages        = {289},
 url          = {https://run.unl.pt/bitstream/10362/64287/1/scai91-1.pdf},
)
@book(PS16,
 author       = {Lu{\'\i}s Moniz Pereira and Ari Saptawijaya},
 year         = {2016},
 title        = {Programming {M}achine {E}thics},
 volume       = {26},
 publisher    = {Springer},
 doi          = {10.1007/978-3-319-29354-7},
)
@inproceedings(PS17,
 author       = {Syukri Mullia Adil Perkasa and Ari Saptawijaya and Lu{\'\i}s Moniz Pereira},
 year         = {2017},
 title        = {Tabling in {C}ontextual {A}bduction with {A}nswer {S}ubsumption},
 booktitle    = {2017 International Conference on Advanced Computer Science and Information Systems (ICACSIS)},
 organization = {IEEE},
 pages        = {459--464},
 doi          = {10.1109/ICACSIS.2017.8355074},
)
@article(SH18,
 author       = {Emmanuelle-Anna Dietz Saldanha and Steffen H{\"o}lldobler and Carroline Dewi Puspa Kencana Ramli and Luis Palacios Medinacelli},
 year         = {2018},
 title        = {A {C}ore {M}ethod for the {W}eak {C}ompletion {S}emantics with {S}keptical {A}bduction},
 journal      = {Journal of Artificial Intelligence Research},
 volume       = {63},
 pages        = {51--86},
 doi          = {10.1613/jair.1.11236},
)
@article(SP15,
 author       = {Ari Saptawijaya and Lu{\'\i}s Moniz Pereira},
 year         = {2015},
 title        = {Tabdual: a {T}abled {A}bduction {S}ystem for {L}ogic {P}rograms},
 journal      = {IfCoLog Journal of Logics and Their Applications},
 volume       = {2},
 number       = {1},
 pages        = {69--124},
 url          = {http://www.collegepublications.co.uk/downloads/ifcolog00003.pdf#page=79},
)
@article(swift99-tabling,
 author       = {T. Swift},
 year         = {1999},
 title        = {Tabling for {N}on-{M}onotonic {P}rogramming},
 journal      = {Annals of Mathematics and Artificial Intelligence},
 volume       = {25},
 number       = {3-4},
 pages        = {201--240},
 doi          = {10.1023/A:1018990308362},
)
@article(sw12-xsb,
 author       = {T. Swift and D. S. Warren},
 year         = {2012},
 title        = {{XSB}: Extending {P}rolog with Tabled Logic Programming},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {12},
 number       = {1-2},
 pages        = {157--187},
 doi          = {10.1017/S1471068411000500},
)
@inproceedings(SW10,
 author       = {Terrance Swift and David S Warren},
 year         = {2010},
 title        = {Tabling with {A}nswer {S}ubsumption: {I}mplementation, {A}pplications and {P}erformance},
 booktitle    = {European Workshop on Logics in Artificial Intelligence},
 organization = {Springer},
 pages        = {300--312},
 doi          = {10.1007/978-3-642-15675-5_26},
)
@article(VR91,
 author       = {Van Gelder, Allen and Kenneth A Ross and John S Schlipf},
 year         = {1991},
 title        = {The {W}ell-{F}ounded {S}emantics for {G}eneral {L}ogic {P}rograms},
 journal      = {Journal of the ACM (JACM)},
 volume       = {38},
 number       = {3},
 pages        = {619--649},
 doi          = {10.1145/116825.116838},
)
@inproceedings(NK01,
 author       = {Van Nuffelen, Bert and Antonis Kakas},
 year         = {2001},
 title        = {A-{S}ystem: {D}eclarative {P}rogramming with {A}bduction},
 booktitle    = {International Conference on Logic Programming and Nonmonotonic Reasoning},
 organization = {Springer},
 pages        = {393--397},
 doi          = {10.1007/3-540-45402-0_29},
)
@article(DW13,
 author       = {David S Warren},
 year         = {2013},
 title        = {Interning {G}round {T}erms in {XSB}},
 journal      = {Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2013)},
 pages        = {74--86},
 url          = {http://www.dcc.fc.up.pt/~ricroc/homepage/publications/2013-CICLOPS.pdf#page=80},
)