@INPROCEEDINGS( PSC2016-4, 
 author = "Evgeny Erofeev and Kamila Barylska and {\L }ukasz Mikulski and Marcin Pi{\k{a}}tkowski",
 title = "Generating All Minimal Petri Net Unsolvable Binary Words ",
 booktitle = "Proceedings of the Prague Stringology Conference 2016",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-05996-8",
 year = 2016,
 pages = "33--46",
)