@article{walsh_connecting_1999,
	title = {Connecting minds : CMC and scientific work},
	author = {John P. Walsh and Stephanie Kucker and Nancy Maloney and Shaul M. Gabbay},
	journal = {Journal of the American Society for Information Science},
	pages = {1295–1305},
	volume = {51},
	year = {1999},
	biburl = {http://www.bibsonomy.org/bibtex/26f2020f8401d0479bb982ae7eed8d8be/snauth},
	keywords = {imported }
}

@inproceedings{conf/wollic/GabbayM08,
	title = {One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations.},
	author = {Murdoch Gabbay and Dominic P. Mulligan},
	booktitle = {WoLLIC},
	crossref = {conf/wollic/2008},
	editor = {Wilfrid Hodges and Ruy J. G. B. de Queiroz},
	pages = {179-193},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/wollic/wollic2008.html#GabbayM08},
	volume = {5110},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2a8f215e0887c54a8bb16f77b8e581c3c/dblp},
	description = {dblp},
	date = {2008-06-30}, ee = {http://dx.doi.org/10.1007/978-3-540-69937-8_16}, isbn = {978-3-540-69936-1},
	keywords = {dblp }
}

@inproceedings{conf/dagstuhl/GabbayPR07,
	title = {Common Foundations for belief revision, belief merging and voting.},
	author = {Dov M. Gabbay and Gabriella Pigozzi and Odinaldo Rodrigues},
	booktitle = {Formal Models of Belief Change in Rational Agents},
	crossref = {conf/dagstuhl/2007P7351},
	editor = {Giacomo Bonanno and James P. Delgrande and Jérôme Lang and Hans Rott},
	publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
	series = {Dagstuhl Seminar Proceedings},
	url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P7351.html#GabbayPR07},
	volume = {07351},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/254eb43a2235609fe5ada555623dfa216/dblp},
	description = {dblp},
	date = {2008-05-14}, ee = {http://drops.dagstuhl.de/opus/volltexte/2007/1217},
	keywords = {dblp }
}

@incollection{books/ox/LAI2Hb1994/Gabbay94,
	title = {Classical vs non-classical logics (the universality of classical logic).},
	author = {Dov M. Gabbay},
	booktitle = {Handbook of Logic in Artificial Intelligence and Logic Programming (2)},
	crossref = {books/ox/LAI2Hb94},
	editor = {Dov M. Gabbay and Christopher J. Hogger and J. A. Robinson and Jörg H. Siekmann},
	pages = {359-495},
	publisher = {Oxford University Press},
	url = {http://dblp.uni-trier.de/db/books/collections/LAI2Handbook94.html#Gabbay94},
	year = {1994},
	biburl = {http://www.bibsonomy.org/bibtex/2b4a12b9adf4ed31f83d2407810e8a3b0/dblp},
	description = {dblp},
	isbn = {0-19-853746-8}, date = {2008-05-06},
	keywords = {dblp }
}

@incollection{books/ox/LAI2Hb1994/Walther94,
	title = {Mathematical induction.},
	author = {Christoph Walther},
	booktitle = {Handbook of Logic in Artificial Intelligence and Logic Programming (2)},
	crossref = {books/ox/LAI2Hb94},
	editor = {Dov M. Gabbay and Christopher J. Hogger and J. A. Robinson and Jörg H. Siekmann},
	pages = {127-228},
	publisher = {Oxford University Press},
	url = {http://dblp.uni-trier.de/db/books/collections/LAI2Handbook94.html#Walther94},
	year = {1994},
	biburl = {http://www.bibsonomy.org/bibtex/2b5ac457cad331164ffc82e7d34bc1b44/dblp},
	description = {dblp},
	isbn = {0-19-853746-8}, date = {2008-05-06},
	keywords = {dblp }
}

@incollection{books/ox/LAI2Hb1994/PerlisS94,
	title = {Meta-languages, reflection principles, and self-reference.},
	author = {Donald Perlis and V. S. Subrahmanian},
	booktitle = {Handbook of Logic in Artificial Intelligence and Logic Programming (2)},
	crossref = {books/ox/LAI2Hb94},
	editor = {Dov M. Gabbay and Christopher J. Hogger and J. A. Robinson and Jörg H. Siekmann},
	pages = {323-358},
	publisher = {Oxford University Press},
	url = {http://dblp.uni-trier.de/db/books/collections/LAI2Handbook94.html#PerlisS94},
	year = {1994},
	biburl = {http://www.bibsonomy.org/bibtex/2533dc7f941b6868c173618669f3f071f/dblp},
	description = {dblp},
	isbn = {0-19-853746-8}, date = {2008-05-06},
	keywords = {dblp }
}

@incollection{books/ox/LAI2Hb1994/BaaderS94,
	title = {Unification theory.},
	author = {Franz Baader and Jörg H. Siekmann},
	booktitle = {Handbook of Logic in Artificial Intelligence and Logic Programming (2)},
	crossref = {books/ox/LAI2Hb94},
	editor = {Dov M. Gabbay and Christopher J. Hogger and J. A. Robinson and Jörg H. Siekmann},
	pages = {41-126},
	publisher = {Oxford University Press},
	url = {http://dblp.uni-trier.de/db/books/collections/LAI2Handbook94.html#BaaderS94},
	year = {1994},
	biburl = {http://www.bibsonomy.org/bibtex/2d5c51097a6f397cfaac575e87177f5c7/dblp},
	description = {dblp},
	isbn = {0-19-853746-8}, date = {2008-05-06},
	keywords = {dblp }
}

@incollection{books/ox/LAI2Hb1994/WosV94,
	title = {Logical basis for the automation of reasoning: Case studies.},
	author = {Larry Wos and Robert Veroff},
	booktitle = {Handbook of Logic in Artificial Intelligence and Logic Programming (2)},
	crossref = {books/ox/LAI2Hb94},
	editor = {Dov M. Gabbay and Christopher J. Hogger and J. A. Robinson and Jörg H. Siekmann},
	pages = {1-40},
	publisher = {Oxford University Press},
	url = {http://dblp.uni-trier.de/db/books/collections/LAI2Handbook94.html#WosV94},
	year = {1994},
	biburl = {http://www.bibsonomy.org/bibtex/226683ba9387ebb20066c93da9da58ef7/dblp},
	description = {dblp},
	isbn = {0-19-853746-8}, date = {2008-05-06},
	keywords = {dblp }
}

@incollection{books/ox/LAI2Hb1994/Leivant94,
	title = {Higher order logic.},
	author = {Daniel Leivant},
	booktitle = {Handbook of Logic in Artificial Intelligence and Logic Programming (2)},
	crossref = {books/ox/LAI2Hb94},
	editor = {Dov M. Gabbay and Christopher J. Hogger and J. A. Robinson and Jörg H. Siekmann},
	pages = {229-322},
	publisher = {Oxford University Press},
	url = {http://dblp.uni-trier.de/db/books/collections/LAI2Handbook94.html#Leivant94},
	year = {1994},
	biburl = {http://www.bibsonomy.org/bibtex/202815d001b9046749edbaf0b18ec4ce8/dblp},
	description = {dblp},
	isbn = {0-19-853746-8}, date = {2008-05-06},
	keywords = {dblp }
}

@article{Freedman1995,
	title = {Perfect periodic correlation sequences},
	author = {Avraham Freedman and Nadav Levanon and Shimshon Gabbay},
	journal = {Signal Processing},
	month = {Jan},
	number = {2},
	pages = {165--174},
	url = {http://www.sciencedirect.com/science/article/B6V18-3YSXP9B-F/1/461e7f02c94c47d26479e618acac7087},
	volume = {41},
	year = {1995},
	biburl = {http://www.bibsonomy.org/bibtex/2fc2a94c5d1796dc49d23e4ff9ec3ade4/smicha},
	keywords = {Perfect correlation periodic sequence }
}