Mathematician:Steven Roger Givant

Author of:
 * 2008: (with )
 * 2008: (with )