Revision history for entry Binkley, Robert; Clark, Romane (1967). "A Cancellation algorithm for elementary logic" [BINACA-2]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2015-02-04T17:41:45updateSystem / admin update -
2013-12-01T22:30:03updateSystem / admin update -
2011-01-10T14:07:05updateSystem / admin update -
2010-10-12T19:05:11addSystem / admin update -