Sequent Calculus for a Program-oriented Predicate Logic over Complex-Named Data | IEEE Conference Publication | IEEE Xplore