Gerry Wolff: Information Compression by Multiple Alignment, Unification and Search as a Framework for Human-Like Reasoning. Log. J. IGPL 9(2): 189-206 (2001)