@INPROCEEDINGS{MPB-ND:IJCAR2008:MooreFamilies,
AUTHOR = "Maria Paola Bonacina and Nachum Dershowitz",
TITLE = "Canonical inference for implicational systems",
BOOKTITLE = "Proceedings of the Fourth International Joint Conference on
Automated Reasoning (IJCAR)",
EDITOR = "Alessandro Armando and Peter Baumgartner and Gilles Dowek",
PUBLISHER = "Springer",
SERIES = "Lecture Notes in Artificial Intelligence",
VOLUME = 5195,
PAGES = "380--395 ",
MONTH = "August",
YEAR = 2008}