Mechanical Proving with Walnut for Squares and Cubes in Partial Words.

John M. Machacek

Browse the full CPM paper archive.