具有邻居的一阶逻辑的代数特征|IEEE会议出版物|IEEE Xplore