Frontiers of Combining Systems Franz Baader and Klaus U. Schulz, Editors. Applied Logic Series, Vol. 3 Kluwer Academic Publishers, Dordrecht, 1996. ISBN 0-7923-4271-2
Frontiers of Combining Systems 2 Dov M. Gabbay and Maarten de Rijke, editors. Research Studies Press/Wiley, 2000. ISBN 0863802524
Frontiers of Combining Systems, Third International Workshop, FroCoS 2000 H. Kirchner and C. Ringeissen editors. Volume 1794 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 2000. ISBN 3-540-67281-8
Frontiers of Combining Systems, Forth International Workshop, FroCoS 2002 A. Armando editor. Volume 2309 of Lecture Notes in Artificial Intelligence. Springer, 2002. ISBN 3-540-43381-3
Automated Reasoning: Second International Joint Conference, IJCAR 2004 D. Basin and M. Rusinowitch editors. Volume 3097 of Lecture Notes in Artificial Intelligence. Springer, 2004. ISBN 3-540-22345-2
Frontiers of Combining Systems, Fifth International Workshop, FroCoS 2005 B. Gramlich editor. Volume 3717 of Lecture Notes in Artificial Intelligence. Springer, 2005. ISBN 3-540-29051-6
Automated Reasoning: Third International Joint Conference, IJCAR 2006 U. Furbach and N. Shankar editors. Volume 4130 of Lecture Notes in Computer Science. Springer, 2006. ISBN 978-3-540-37187-8
Frontiers of Combining Systems, Sixth International Symposium, FroCoS 2007 B. Konev, F. Wolter editors. Volume 4720 of Lecture Notes in Artificial Intelligence. Springer, 2007. ISBN 354074620X
Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Alessandro Armando, Peter Baumgartner and Gilles Dowek editors. Volume 4933 of Lecture Notes in Computer Science. Springer, 2008. ISBN 978-3-540-71069-1
Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009 S. Ghilardi, R. Sebastiani editors. Volume 5749 of Lecture Notes in Artificial Intelligence. Springer, 2009. ISBN: 978-3-642-04221-8
Automated Reasoning: 5th International Joint Conference, IJCAR 2010 J. Giesl and R. Haehnle editors. Volume 6173 of Lecture Notes in Computer Science. Springer, 2010. ISBN 978-3-642-14202-4
Frontiers of Combining Systems, 8th International Symposium, FroCoS 2011 C. Tinelli and V. Sofronie-Stokkermans editors. Volume 6989 of Lecture Notes in Artificial Intelligence. Springer, 20011. ISBN: 978-3-642-24363-9