Maarten, Marx, Complexity of products of modal logics, 187-192, 1997, Πανεπιστήμιο Κύπρου,