10.1101/058834

A logic approach to modeling nomenclatural change

2016-06-14