Stem kato$ (all stems)
2 papers:
- ICLP-J-2010-OetschPST #detection #source code
- The system Kato: Detecting cases of plagiarism for answer-set programs (JO, JP, MS, HT), pp. 759–775.
- ICSE-2007-UzuncaovaK #declarative #named #slicing #specification
- Kato: A Program Slicing Tool for Declarative Specifications (EU, SK), pp. 767–770.