maze solving is automated theorem proving

Published --