@inbook{3ce0b03f241e486abc607501bba5a408,
title = "On the Relationship between LTL Normal Forms and B{\"u}chi Automata",
author = "Jianwen Li and Geguang Pu and Lijun Zhang and Zheng Wang and Jifeng He and Larsen, {Kim Guldstrand}",
year = "2013",
doi = "10.1007/978-3-642-39698-4_16",
language = "English",
isbn = "978-3-642-39697-7",
volume = "8051",
series = "Lecture Notes in Computer Science",
publisher = "Physica-Verlag",
pages = "256--270",
booktitle = "Theories of Programming and Formal Methods",
}