Programming by demonstration for Locally k-Testable tasks | IEEE Conference Publication | IEEE Xplore