@misc {TN_libero_mab2,
author
=
{
Roşu, Grigore
}
,
title
=
{
Automata, Languages and Programming: Extensional Theories and Rewriting
}
,
publisher
=
{
Springer Berlin Heidelberg
}
,
isbn
=
{
0302-9743
}
,
isbn
=
{
1611-3349
}
,
year
=
{
2004
}
,
}
Download citation