Representing and reasoning with constrained PCP-nets | IEEE Conference Publication | IEEE Xplore