@inproceedings{conf/lics/Maher88,
  added-at = {2012-01-20T00:00:00.000+0100},
  author = {Maher, Michael J.},
  biburl = {http://www.bibsonomy.org/bibtex/2adb17715fbbc9bef2ec280dbd1027494/dblp},
  booktitle = {LICS},
  crossref = {conf/lics/1988},
  ee = {http://dx.doi.org/10.1109/LICS.1988.5132},
  interhash = {c96c87779900bf8a4d2760bb5de341bf},
  intrahash = {adb17715fbbc9bef2ec280dbd1027494},
  isbn = {0-8186-0853-6},
  keywords = {dblp},
  pages = {348-357},
  publisher = {IEEE Computer Society},
  title = {Complete Axiomatizations of the Algebras of Finite, Rational and Infinite Trees},
  url = {http://dblp.uni-trier.de/db/conf/lics/lics88.html#Maher88},
  year = 1988
}

@inproceedings{conf/lics/Maher05,
  added-at = {2012-01-20T00:00:00.000+0100},
  author = {Maher, Michael J.},
  biburl = {http://www.bibsonomy.org/bibtex/24ff8543e8b4a93f14c1ea033bb9c3c88/dblp},
  booktitle = {LICS},
  crossref = {conf/lics/2005},
  ee = {http://doi.ieeecomputersociety.org/10.1109/LICS.2005.21},
  interhash = {6a9206b2ce5e830672ab983cc6c3d4a8},
  intrahash = {4ff8543e8b4a93f14c1ea033bb9c3c88},
  isbn = {0-7695-2266-1},
  keywords = {dblp},
  pages = {397-406},
  publisher = {IEEE Computer Society},
  title = {Herbrand Constraint Abduction.},
  url = {http://dblp.uni-trier.de/db/conf/lics/lics2005.html#Maher05},
  year = 2005
}

@inproceedings{conf/aaai/LassezM83,
  added-at = {2011-12-23T00:00:00.000+0100},
  author = {Lassez, Jean-Louis and Maher, Michael J.},
  biburl = {http://www.bibsonomy.org/bibtex/2e2a95c3f16aa9a82bb6add8208a9a0c5/dblp},
  booktitle = {AAAI},
  crossref = {conf/aaai/1983},
  editor = {Genesereth, Michael R.},
  ee = {http://www.aaai.org/Conferences/AAAI/aaai83.php},
  interhash = {3826bc2f2122f687b22e531a6bb1fe63},
  intrahash = {e2a95c3f16aa9a82bb6add8208a9a0c5},
  isbn = {0-262-51052-9},
  keywords = {dblp},
  pages = {229-231},
  publisher = {AAAI Press},
  title = {The Denotational Semantics of Horn Clauses as a Production System.},
  url = {http://dblp.uni-trier.de/db/conf/aaai/aaai83.html#LassezM83},
  year = 1983
}

@inproceedings{conf/aaai/MaherG99,
  added-at = {2011-12-23T00:00:00.000+0100},
  author = {Maher, Michael J. and Governatori, Guido},
  biburl = {http://www.bibsonomy.org/bibtex/233d8eefb91388c0a532067c88c527e09/dblp},
  booktitle = {AAAI/IAAI},
  crossref = {conf/aaai/1999},
  editor = {Hendler, Jim and Subramanian, Devika},
  ee = {http://www.aaai.org/Conferences/AAAI/aaai99.php},
  interhash = {c805e52f755e03e3767fef2430dabfbd},
  intrahash = {33d8eefb91388c0a532067c88c527e09},
  isbn = {0-262-51106-1},
  keywords = {dblp},
  pages = {299-305},
  publisher = {AAAI Press / The MIT Press},
  title = {A Semantic Decomposition of Defeasible Logics.},
  url = {http://dblp.uni-trier.de/db/conf/aaai/aaai99.html#MaherG99},
  year = 1999
}

@article{journals/corr/cs-AI-0003013,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Antoniou, Grigoris and Billington, David and Governatori, Guido and Maher, Michael J.},
  biburl = {http://www.bibsonomy.org/bibtex/2bdf1701b30648f723c99d7d0c638caf8/dblp},
  ee = {http://arxiv.org/abs/cs.AI/0003013},
  interhash = {bccbcde99ed76c1f5f8343829bf205c4},
  intrahash = {bdf1701b30648f723c99d7d0c638caf8},
  journal = {CoRR},
  keywords = {dblp},
  title = {A flexible framework for defeasible logics},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr0003.html#cs-AI-0003013},
  volume = {cs.AI/0003013},
  year = 2000
}

@article{journals/corr/abs-0909-4452,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Maher, Michael J. and Narodytska, Nina and Quimper, Claude-Guy and Walsh, Toby},
  biburl = {http://www.bibsonomy.org/bibtex/2c80ec5656b2a1b21d1d8354d09428430/dblp},
  ee = {http://arxiv.org/abs/0909.4452},
  interhash = {b9aaa27eb3fdad18fa342df6a31cb17b},
  intrahash = {c80ec5656b2a1b21d1d8354d09428430},
  journal = {CoRR},
  keywords = {dblp},
  title = {Flow-Based Propagators for the SEQUENCE and Related Global Constraints},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr0909.html#abs-0909-4452},
  volume = {abs/0909.4452},
  year = 2009
}

@article{journals/corr/abs-cs-0511055,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Antoniou, Grigoris and Billington, David and Governatori, Guido and Maher, Michael J.},
  biburl = {http://www.bibsonomy.org/bibtex/2dc1c49a6222c9dacacf2ea0bf919fd24/dblp},
  ee = {http://arxiv.org/abs/cs/0511055},
  interhash = {16d5121eb10c105cdf84b338a5eb2762},
  intrahash = {dc1c49a6222c9dacacf2ea0bf919fd24},
  journal = {CoRR},
  keywords = {dblp},
  title = {Embedding Defeasible Logic into Logic Programming},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr0511.html#abs-cs-0511055},
  volume = {abs/cs/0511055},
  year = 2005
}

@article{journals/corr/cs-LO-0003082,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Antoniou, Grigoris and Billington, David and Governatori, Guido and Maher, Michael J.},
  biburl = {http://www.bibsonomy.org/bibtex/2a4980feb321ccfbcc6e3aa9171386e47/dblp},
  ee = {http://arxiv.org/abs/cs.LO/0003082},
  interhash = {04f3760bf471aa4c349bebac98fab6f9},
  intrahash = {a4980feb321ccfbcc6e3aa9171386e47},
  journal = {CoRR},
  keywords = {dblp},
  title = {Representation results for defeasible logic},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr0003.html#cs-LO-0003082},
  volume = {cs.LO/0003082},
  year = 2000
}

@article{journals/corr/cs-AI-0405090,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Maher, Michael J.},
  biburl = {http://www.bibsonomy.org/bibtex/213ca197e0d6af69f349ffd283003c36c/dblp},
  ee = {http://arxiv.org/abs/cs.AI/0405090},
  interhash = {c01673792f57a3f2089ac57627c00bcd},
  intrahash = {13ca197e0d6af69f349ffd283003c36c},
  journal = {CoRR},
  keywords = {dblp},
  title = {Propositional Defeasible Logic has Linear Complexity},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr0405.html#cs-AI-0405090},
  volume = {cs.AI/0405090},
  year = 2004
}

@article{journals/jlp/BruynoogheDHM94,
  added-at = {2011-12-01T00:00:00.000+0100},
  author = {Bruynooghe, Maurice and Debray, Saumya K. and Hermenegildo, Manuel V. and Maher, Michael J.},
  biburl = {http://www.bibsonomy.org/bibtex/2b4ef56c66d0419e5efcab6fe8793e32a/dblp},
  ee = {http://dx.doi.org/10.1016/0743-1066(94)90022-1},
  interhash = {976c3ca1675258f8f7651955ec7c540e},
  intrahash = {b4ef56c66d0419e5efcab6fe8793e32a},
  journal = {J. Log. Program.},
  keywords = {dblp},
  pages = {1-3},
  title = {Guest Editor's Introduction.},
  url = {http://dblp.uni-trier.de/db/journals/jlp/jlp19.html#BruynoogheDHM94},
  volume = {19/20},
  year = 1994
}

@article{journals/jlp/JaffarM94,
  added-at = {2011-12-01T00:00:00.000+0100},
  author = {Jaffar, Joxan and Maher, Michael J.},
  biburl = {http://www.bibsonomy.org/bibtex/2048792b9eb7a25f4cc3720f6cc718f19/dblp},
  ee = {http://dx.doi.org/10.1016/0743-1066(94)90033-7},
  interhash = {a21be7df98b5ef80efc3fc55a984fb88},
  intrahash = {048792b9eb7a25f4cc3720f6cc718f19},
  journal = {J. Log. Program.},
  keywords = {dblp},
  pages = {503-581},
  title = {Constraint Logic Programming: A Survey.},
  url = {http://dblp.uni-trier.de/db/journals/jlp/jlp19.html#JaffarM94},
  volume = {19/20},
  year = 1994
}

@article{journals/jlp/AntoniouMB00,
  added-at = {2011-12-01T00:00:00.000+0100},
  author = {Antoniou, Grigoris and Maher, Michael J. and Billington, David},
  biburl = {http://www.bibsonomy.org/bibtex/28395a3963bc9a6c90ea583eaae89cbe9/dblp},
  ee = {http://dx.doi.org/10.1016/S0743-1066(99)00060-6},
  interhash = {920a3683fdb6d1941b951a0e7c1de6dc},
  intrahash = {8395a3963bc9a6c90ea583eaae89cbe9},
  journal = {J. Log. Program.},
  keywords = {dblp},
  number = 1,
  pages = {47-57},
  title = {Defeasible Logic versus Logic Programming without Negation as Failure.},
  url = {http://dblp.uni-trier.de/db/journals/jlp/jlp42.html#AntoniouMB00},
  volume = 42,
  year = 2000
}

@article{journals/jlp/JaffarMMS98,
  added-at = {2011-12-01T00:00:00.000+0100},
  author = {Jaffar, Joxan and Maher, Michael J. and Marriott, Kim and Stuckey, Peter J.},
  biburl = {http://www.bibsonomy.org/bibtex/28fdea4b387a35bb7938362a1f3c9dc6a/dblp},
  ee = {http://dx.doi.org/10.1016/S0743-1066(98)10002-X},
  interhash = {db7294e940293b352b969e4ba78a1385},
  intrahash = {8fdea4b387a35bb7938362a1f3c9dc6a},
  journal = {J. Log. Program.},
  keywords = {dblp},
  number = {1-3},
  pages = {1-46},
  title = {The Semantics of Constraint Logic Programs.},
  url = {http://dblp.uni-trier.de/db/journals/jlp/jlp37.html#JaffarMMS98},
  volume = 37,
  year = 1998
}

@article{journals/jlp/JaffarLM86,
  added-at = {2011-12-01T00:00:00.000+0100},
  author = {Jaffar, Joxan and Lassez, Jean-Louis and Maher, Michael J.},
  biburl = {http://www.bibsonomy.org/bibtex/25a90204094e6ba291865f0f7849d4d2c/dblp},
  ee = {http://dx.doi.org/10.1016/0743-1066(86)90018-X},
  interhash = {fbcd41faf7d477e6d845cc49b1fd160c},
  intrahash = {5a90204094e6ba291865f0f7849d4d2c},
  journal = {J. Log. Program.},
  keywords = {dblp},
  number = 2,
  pages = {115-118},
  title = {Comments on "General Failure of Logic Programs".},
  url = {http://dblp.uni-trier.de/db/journals/jlp/jlp3.html#JaffarLM86},
  volume = 3,
  year = 1986
}

@article{journals/jlp/BruynoogheDHM95,
  added-at = {2011-12-01T00:00:00.000+0100},
  author = {Bruynooghe, Maurice and Debray, Saumya K. and Hermenegildo, Manuel V. and Maher, Michael J.},
  biburl = {http://www.bibsonomy.org/bibtex/23fc6aab4165ded75410a5246911c5f27/dblp},
  ee = {http://dx.doi.org/10.1016/0743-1066(94)00037-7},
  interhash = {b3c0c72f100bd0e17071002d8b48efbf},
  intrahash = {3fc6aab4165ded75410a5246911c5f27},
  journal = {J. Log. Program.},
  keywords = {dblp},
  number = 2,
  pages = {87-88},
  title = {Guest Editors' Introduction: Special Section: Ten Years of Logic Programming.},
  url = {http://dblp.uni-trier.de/db/journals/jlp/jlp23.html#BruynoogheDHM95},
  volume = 23,
  year = 1995
}

@article{journals/jlp/JaffarLM84,
  added-at = {2011-12-01T00:00:00.000+0100},
  author = {Jaffar, Joxan and Lassez, Jean-Louis and Maher, Michael J.},
  biburl = {http://www.bibsonomy.org/bibtex/28c04a0b49cddc48a3f091df5158f46ab/dblp},
  ee = {http://dx.doi.org/10.1016/0743-1066(84)90010-4},
  interhash = {78990ad93ecdefb1de7bc4e8a658371b},
  intrahash = {8c04a0b49cddc48a3f091df5158f46ab},
  journal = {J. Log. Program.},
  keywords = {dblp},
  number = 3,
  pages = {211-223},
  title = {A Theory of Complete Logic Programs with Equality.},
  url = {http://dblp.uni-trier.de/db/journals/jlp/jlp1.html#JaffarLM84},
  volume = 1,
  year = 1984
}

@inproceedings{conf/isspa/ChukwuS10,
  added-at = {2011-11-28T00:00:00.000+0100},
  author = {Chukwu, Michael and Sid-Ahmed, Maher A.},
  biburl = {http://www.bibsonomy.org/bibtex/2f334d222ecefd024f0b318e3aa603d05/dblp},
  booktitle = {ISSPA},
  crossref = {conf/isspa/2010},
  ee = {http://dx.doi.org/10.1109/ISSPA.2010.5605447},
  interhash = {b48e8a2fcaadeb320166e41797858b06},
  intrahash = {f334d222ecefd024f0b318e3aa603d05},
  isbn = {978-1-4244-7165-2},
  keywords = {dblp},
  pages = {488-491},
  publisher = {IEEE},
  title = {Single input image super resolution with alias detection.},
  url = {http://dblp.uni-trier.de/db/conf/isspa/isspa2010.html#ChukwuS10},
  year = 2010
}

@article{journals/cs/TammenESR10,
  added-at = {2011-11-10T00:00:00.000+0100},
  author = {Tammen, Michael and El-Sharkawy, Mohamed and Sliman, Hisham and Rizkalla, Maher E.},
  biburl = {http://www.bibsonomy.org/bibtex/26b35d0e304537729cfa41926d3f8e795/dblp},
  ee = {http://dx.doi.org/10.4236/cs.2010.11003},
  interhash = {72e02f9d90c76040c2b70c90cfb7f549},
  intrahash = {6b35d0e304537729cfa41926d3f8e795},
  journal = {Circuits and Systems},
  keywords = {dblp},
  number = 1,
  pages = {12-17},
  title = {Fast Implementation of VC-1 with Modified Motion Estimation and Adaptive Block Transform.},
  url = {http://dblp.uni-trier.de/db/journals/cs/cs1.html#TammenESR10},
  volume = 1,
  year = 2010
}

@article{journals/jsea/HayimKR10,
  added-at = {2011-11-07T00:00:00.000+0100},
  author = {Hayim, Alon and Knieser, Michael and Rizkalla, Maher E.},
  biburl = {http://www.bibsonomy.org/bibtex/2e3ac92c68559724e3d28b77b284d9fcf/dblp},
  ee = {http://dx.doi.org/10.4236/jsea.2010.34044},
  interhash = {c2156546dc344279be8df7514c419e8a},
  intrahash = {e3ac92c68559724e3d28b77b284d9fcf},
  journal = {JSEA},
  keywords = {dblp},
  number = 4,
  pages = {391-403},
  title = {DSPs/FPGAs Comparative Study for Power Consumption, Noise Cancellation, and Real Time High Speed Applications.},
  url = {http://dblp.uni-trier.de/db/journals/jsea/jsea3.html#HayimKR10},
  volume = 3,
  year = 2010
}

@article{journals/tcs/Maher93,
  added-at = {2011-09-07T00:00:00.000+0200},
  author = {Maher, Michael J.},
  biburl = {http://www.bibsonomy.org/bibtex/2c45081c94763f5a018a8f9a7285fa3e9/dblp},
  ee = {http://dx.doi.org/10.1016/0304-3975(93)90013-J},
  interhash = {eb4562d42035f749a32eddd061dec6f6},
  intrahash = {c45081c94763f5a018a8f9a7285fa3e9},
  journal = {Theor. Comput. Sci.},
  keywords = {dblp},
  number = 2,
  pages = {377-403},
  title = {A Tranformation System for Deductive Databases Modules with Perfect Model Semantics.},
  url = {http://dblp.uni-trier.de/db/journals/tcs/tcs110.html#Maher93},
  volume = 110,
  year = 1993
}