Natural Deduction for First-Order Hybrid Logic.

Torben Braüner Natural Deduction for First-Order Hybrid Logic. 173-198 2005 14 Journal of Logic, Language and Information 2 http://dx.doi.org/10.1007/s10849-005-3927-y db/journals/jolli/jolli14.html#Brauner05