P-graph--A graph model for anomaly checking of knowledge bases - Lim, E.L. (2014)
871-877