Revision history for entry Ferrante, Jeanne (1974). "Some Upper and Lower Bounds on Decision Procedures in Logic" [FERSUA]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2017-01-20T17:22:45updateSystem / admin update -
2015-03-18T00:54:00updateSystem / admin update -