@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}