Antonelli, 1994. The Complexity of Revision 35.. https://doi.org/10.1305/ndjfl/1040609294