ARO PREVIOUS PAPER COMPUTER & REASONING