by Maria Paola Bonacina
This Festschrift volume is published in memory of William W. McCune who passed away in 2011. William W. McCune was an accomplished computer scientist all around but especillay a fantastic system bu…