Publications by authors named "Anton Gavel"