Dynamic Behavior Specification of Web Component Based on Logic Programming | IEEE Conference Publication | IEEE Xplore