@misc
{TN_libero_mab2,
author = {
Roşu, Grigore
},
title = {
Equality of streams is a Π0 over 2-complete problem
},
publisher = {Association for Computing Machinery (ACM)},
isbn = {0362-1340},
isbn = {1558-1160},
keywords = {
Computer Graphics and Computer-Aided Design
,
Software
},
year = {2006},
}