Rana Barua Suman Roy Zhou Chaochen Completeness of Neighbourhood Logic. 521-530 1999 conf/stacs/1999 STACS db/conf/stacs/stacs99.html#BaruaRC99 http://link.springer.de/link/service/series/0558/bibs/1563/15630521.htm