Dov M. Gabbay , Sergei Goncharov, Michael Zakharyaschev (2006) Mathematical problems from applied logic I: logics for the XXIst century, Dordrecht, Springer.
pp. 137-192
This document is unfortunately not available for download at the moment.
