BibTeX

@ARTICLE{ Torrini02jancl,
     author = {Torrini, P. and Stell, J.G. and Bennett, B.},
     title = {Mereotopology in 2nd-order and modal extensions of intuitionistic logic},
     journal = {Journal of Applied Non-Classical Logics},
     year = {2002},
     volume = {12},
     pages = {495--525},
     number = {3--4},
     leeds_file = {TorriniJANCL02.pdf}
}