Sampaio, AugustoAugustoSampaioFARN WANG2020-06-042020-06-0420180304-3975https://scholars.lib.ntu.edu.tw/handle/123456789/497148Theoretical aspects of computingjournal article10.1016/j.tcs.2018.07.001WOS:000447080800001