Victor Khomenko, Maciej Koutny, Alexandre Yakovlev. Detecting State Encoding Conflicts in STG Unfoldings Using SAT. Fundamenta Informaticae, 62(2):221-241, 2004. [doi]
@article{KhomenkoKY04:0,
title = {Detecting State Encoding Conflicts in STG Unfoldings Using SAT},
author = {Victor Khomenko and Maciej Koutny and Alexandre Yakovlev},
year = {2004},
url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=62&issue=2&spage=221},
researchr = {https://researchr.org/publication/KhomenkoKY04%3A0},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {62},
number = {2},
pages = {221-241},
}