1. PROVING THE DECIDABILITY OF THE PDL×PDL PRODUCT LOGIC. Authors: LÁSZLÓ ASZALÓS, PHILIPPE BALBIANI.2. USING SPREADSHEETS FOR SOLVING LOGIC PUZZLES. Authors: LÁSZLÓ ASZALÓS, MÁRIA BAKÓ.