J. Esparza, P. Ganty, J. Leroux, and R. Majumdar. FSTTCS, volume 65 of LIPIcs, page 27:1-27:14. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2016)
J. Kaur1, and and Varsha Sahni. International Journal of Computational Science, Information Technology and Control Engineering (IJCSITCE), 3 (1/2):
10(April 2016)