Publications by authors named "G E Chlipala"