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