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