Kato: A Program Slicing Tool for Declarative Specifications | IEEE Conference Publication | IEEE Xplore