← All Publications
An NP-complete fragment of fibring logic
Links pending
BibTeX
@article{wu2015np,
title={An NP-complete fragment of fibring logic},
author={Wu, Yin and Jiang, Min and Huang, Zhongqiang and Chao, Fei and Zhou, Changle},
journal={Annals of Mathematics and Artificial Intelligence},
volume={75},
number={3},
pages={391--417},
year={2015},
publisher={Springer International Publishing Cham},
}