Learning Analysis by Reduction from Positive Data Using Reverible Languages | IEEE Conference Publication | IEEE Xplore