Automated ReasoningDidier Galmiche, Stephan Schulz, Roberto Sebastiani · First published 2018Open the Tome
Theory And Applications Of Satisfiability Testing Sat 2012 15th International Conference Trento Italy June 1720 2012 ProceedingsRoberto Sebastiani · First published 2012Open the Tome
Frontiers of Combining SystemsSilvio Ghilardi, Roberto Sebastiani · First published 2009Open the Tome
