Revision history for entry Braffort, P.; van Scheepen, F. (1968). "Automation in Language Translation and Theorem Proving" [BRAAIL]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes