_id,doi,title
1872,10.1007/978-3-319-11936-6_14,Extensional crisis and proving identity