Transformation-based constraint-guided Generalised Modus Ponens | IEEE Conference Publication | IEEE Xplore