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